|
Go to the documentation of this file.
16 using namespace faudes;
41 g1. Read( "data/csimplemachine.gen");
49 g1. Write( "tmp_tsimplemachine1.gen");
50 g2. Write( "tmp_tsimplemachine2.gen");
51 g3. Write( "tmp_tsimplemachine3.gen");
52 g4. Write( "tmp_tsimplemachine4.gen");
55 std::cout << "######################################\n";
56 std::cout << "# tc simple machine (\n";
58 std::cout << "######################################\n";
78 std::cout << "######################################\n";
79 std::cout << "# controllabel events\n";
81 std::cout << "######################################\n";
98 std::cout << "######################################\n";
99 std::cout << "# tcsimple machine clocks \n";
101 std::cout << "######################################\n";
123 g2. Name( "tc simple machine with timed repair");
126 std::cout << "######################################\n";
127 std::cout << "# tcsimple machine with timed repair \n";
130 std::cout << "######################################\n";
137 std::cout << "######################################\n";
138 std::cout << "# tcsimple machine with untimed busy \n";
141 std::cout << "######################################\n";
150 std::cout << "######################################\n";
151 std::cout << "# csimple machine (active clocks) \n";
156 std::cout << "######################################\n";
157 std::cout << "# csimple machine (invariants) \n";
158 StateSet::Iterator sit;
162 std::cout << state << " inv " << invariant. ToString() << "\n";
167 std::cout << "######################################\n";
168 std::cout << "# csimple machine (guards and resets) \n";
171 std::cout << "src transition: " << g2. TStr(*stit) << "\n";
172 std::cout << "guard: " << g2. Guard(*stit).ToString() << "\n";
173 std::cout << "resets: " << g2. Resets(*stit).ToString() << "\n";
180 std::cout << "######################################\n";
181 std::cout << "# csimple machine with timing \n";
183 std::cout << "######################################\n";
188 std::cout << "############# valid #################\n";
libFAUDES 2.28a
--- 2016.09.13
--- c++ api documentaion by doxygen
|