#include <automata.h>
Public Member Functions | |
State (int v, bool s, Automata *a) | |
void | addTransition (Transition *t) |
~State () | |
void | display (ostream &o) |
Public Attributes | |
Automata * | automata |
bool | si |
list< Transition * > | step |
int | value |
Definition at line 24 of file automata.h.
State::State | ( | int | v, | |
bool | s, | |||
Automata * | a | |||
) |
State::~State | ( | ) |
void State::addTransition | ( | Transition * | t | ) |
void State::display | ( | ostream & | o | ) |
Definition at line 34 of file automata.cpp.
Referenced by Automata::Automata(), and Automata::display().
bool State::si |
list<Transition*> State::step |
Definition at line 29 of file automata.h.
Referenced by addTransition(), Automata::isIntersect(), and Unification::verifValidPresburger().
int State::value |
Definition at line 30 of file automata.h.
Referenced by Automata::Automata(), display(), and State().