|
Functions |
template<class T> |
const T & | ith (const list< T > &collection, int i) |
void | addVariable (vector< string > &variables, string prefix, string name, list< int > &dimensions) |
void | analyzeVariable (process_t *process, const variable_t variable) |
ostream & | operator<< (ostream &o, const State &state) |
ostream & | operator<< (ostream &o, const Transition &t) |
void | loadTrace (const char *trace) |
void | loadModel (const char *model) |
int | main (int argc, char *argv[]) |
Variables |
static TimedAutomataSystem | ta |
static int | processCount |
static int | variableCount |
static int | clockCount |
static vector< string > | clocks |
static vector< string > | variables |
static bound_t | infinity = { INT_MAX >> 1, 1 } |
static bound_t | zero = { 0, 0 } |