|
Go to the documentation of this file.
19 using namespace faudes;
54 std::cout << "######################################\n";
55 std::cout << "# a timeconstraint \n";
57 std::cout << "######################################\n";
60 tc1. Write( "tmp_timeconstraint.txt");
67 std::cout << "######################################\n";
68 std::cout << "# inspection ... \n";
69 ClockSet::Iterator cit;
70 for(cit = clocks1. Begin(); cit != clocks1. End(); cit++) {
71 std::cout << "clock: " << clocks1. SymbolicName(*cit) << "\n";
73 for(tit = tc1. Begin(*cit); tit != tc1. End(*cit); tit++) {
74 std::cout << "elem constraint: " << tc1. EStr(*tit) << "\n";
77 std::cout << "time interval: " << tint. Str() << "\n";
79 std::cout << "######################################\n";
97 std::cout << "######################################\n";
98 std::cout << "# after various insertions \n";
100 std::cout << "######################################\n";
106 std::cout << "######################################\n";
107 std::cout << "# after erase \n";
109 std::cout << "######################################\n";
120 std::cout << "######################################\n";
121 std::cout << "# another constraint \n";
123 std::cout << "######################################\n";
133 std::cout << "######################################\n";
134 std::cout << "# minimal version \n";
136 std::cout << "######################################\n";
libFAUDES 2.24g
--- 2014.09.15
--- c++ api documentaion by doxygen
|