|
Enumerations |
enum | type_t {
CONST,
CLOCK,
VAR,
META,
COST,
LOCATION,
FIXED
} |
enum | flags_t { NONE,
COMMITTED,
URGENT
} |
Functions |
bool | read (FILE *file, char *str, size_t n) |
void | loadIF (FILE *file) |
ostream & | operator<< (ostream &o, const State &state) |
ostream & | operator<< (ostream &o, const Transition &t) |
void | loadTrace (FILE *file) |
int | main (int argc, char *argv[]) |
Variables |
vector< cell_t > | layout |
vector< int > | instructions |
vector< process_t > | processes |
vector< edge_t > | edges |
map< int, string > | expressions |
static size_t | processCount = 0 |
static size_t | variableCount = 0 |
static size_t | clockCount = 0 |
static vector< string > | clocks |
static vector< string > | variables |
static bound_t | infinity = { INT_MAX >> 1, 1 } |
static bound_t | zero = { 0, 0 } |