tracer.cpp File Reference

#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 }

Enumeration Type Documentation

enum flags_t

Enumerator:
NONE 
COMMITTED 
URGENT 

enum type_t

Enumerator:
CONST 
CLOCK 
VAR 
META 
COST 
LOCATION 
FIXED 


Function Documentation

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 
)


Variable Documentation

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]


Generated on Thu Feb 22 14:46:52 2007 for libutap by  doxygen 1.4.7