#include "fsm.h"
Include dependency graph for fsm.C:
Go to the source code of this file.
Functions | |
ostream & | operator<< (ostream &os, const Fsm &fsm) |
ostream & | operator<< (ostream &os, const Fsm::STATES &Q) |
Auxiliary function: print set of states. More... |
|
Definition at line 104 of file fsm.C. 00104 { 00105 os << fsm.initial_state() << "\n"; 00106 00107 os << fsm.final_states() << "\n"; 00108 00109 for (Fsm::TRANSITIONS::const_iterator i=fsm.begin(); i!=fsm.end(); ++i) 00110 os << (*i).first.first << " " 00111 << (*i).first.second << " " 00112 << (*i).second 00113 << "\n"; 00114 return os; 00115 } |
|
Auxiliary function: print set of states.
Definition at line 118 of file fsm.C. 00118 { 00119 os << "{ "; 00120 for (Fsm::STATES::const_iterator q = Q.begin(); q != Q.end(); ++q) 00121 os << (*q)<< " "; 00122 os << "}"; 00123 return os; 00124 } |