Go to the documentation of this file.
18 using namespace faudes;
21 int main( int argc, char* argv[])
25 cerr<< "usage: ./exefaudes <gen-File>"<<endl;
36 cout << "##########################################" << endl;
37 cout << "# interactive simulation of " << sim. Generator().Name() << endl;
38 cout << "# at state " << endl;
49 cout<< ">> Simulation is deadlocked."<<endl;
50 cout<< ">> Abort (a) or reset simulation (r)?"<<endl;
53 if(choice== "a") break;
54 else if(choice== "r") {
58 cerr<< ">> ignoring invalid choice"<<endl;
65 cout << ">> Time may pass up to " << etime. Str() << endl;
66 cout << ">> No events are enabled for " << einterval. Str() << endl;
67 cout << ">> Abort (a), or let time pass (t): ";
71 cout << ">> Time may pass up to " << etime. Str() << endl;
72 cout << ">> The following events are enabled for time " << einterval. Str() << endl;
74 cout<< ">> Abort (a), let time pass (t) or execute transition (e): ";
80 } else if(choice== "e") {
81 cout<< ">> Event index: ";
84 if(eevents. Exists(event)== false) {
85 cout<< ">> ignoring invalid event index "<<endl;
91 } else if (choice== "t") {
92 cout<< ">> Let time pass t: ";
95 if(! etime. In(time)) {
96 cout<< ">> ignoring invalid time "<<endl;
101 cout<< ">> ignoring invalid choice "<<endl;
libFAUDES 2.24g
--- 2014.09.15
--- c++ api documentaion by doxygen
|