Static Public Attributes
static bool	OPT_PRINT_ALL = false

static bool	OPT_PRINT_CMD = false

static bool	OPT_PRINT_ADJ = false

static bool	OPT_PROB_REACHABILITY = false

static bool	OPT_SEQ_ATM = false

static const string	COMMENT = "#"

static const char	SHARED_LOCAL_DELIMITER = '\|'

static const char	STACK_DELIMITER = '.'

static const char	THREAD_DELIMITER = ','

static string	MSG_SEPARATOR = "======================================\n"

static string	MSG_TR_PLATEAU_AT_K = "=> sequence T(R) plateaus at "

static string	MSG_TR_COLLAPSE_AT_K = "=> sequence T(R) collapses at "

static string	MSG_NUM_VISIBLE_STATES = "the number of new visible states: "

The documentation for this class was generated from the following files:

Static Public Attributes