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]

---