syten-mps2lbo.cpp File Reference

Reads in a MP state and writes out a LBO state. More...

#include "inc/mps/state.h"
#include "inc/mps/lbo_state.h"
#include "inc/util/bpo_helper.h"

Include dependency graph for syten-mps2lbo.cpp:

Namespaces
namespace	syten
	Syten namespace.

Detailed Description

Reads in a MP state and writes out a LBO state.