#include <cstdio>
#include <climits>
#include <vector>
#include <string>
#include <stdexcept>
#include <iostream>
#include <map>
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 } |
enum flags_t |
enum type_t |
void loadIF | ( | FILE * | file | ) |
void loadTrace | ( | FILE * | file | ) |
int main | ( | int | argc, | |
char * | argv[] | |||
) |
ostream& operator<< | ( | ostream & | o, | |
const Transition & | t | |||
) |
ostream& operator<< | ( | ostream & | o, | |
const State & | state | |||
) |
bool read | ( | FILE * | file, | |
char * | str, | |||
size_t | n | |||
) |
size_t clockCount = 0 [static] |
vector<string> clocks [static] |
vector<edge_t> edges |
map<int,string> expressions |
bound_t infinity = { INT_MAX >> 1, 1 } [static] |
vector<int> instructions |
vector<cell_t> layout |
size_t processCount = 0 [static] |
vector<process_t> processes |
size_t variableCount = 0 [static] |
vector<string> variables [static] |
bound_t zero = { 0, 0 } [static] |