syten-truncate.cpp File Reference

Binary to truncate an operator or a state. More...

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

Include dependency graph for syten-truncate.cpp:

Namespaces
namespace	syten
	Syten namespace.

Macros
#define	HELP_MSG
	Help message to be shifted into cout/cerr on error. More...

Detailed Description

Binary to truncate an operator or a state.