|
Go to the documentation of this file.
17 using namespace faudes;
42 g1. Read( "data/csimplemachine.gen");
50 g1. Write( "tmp_tsimplemachine1.gen");
51 g2. Write( "tmp_tsimplemachine2.gen");
52 g3. Write( "tmp_tsimplemachine3.gen");
53 g4. Write( "tmp_tsimplemachine4.gen");
56 std::cout << "######################################\n";
57 std::cout << "# tc simple machine (\n";
59 std::cout << "######################################\n";
79 std::cout << "######################################\n";
80 std::cout << "# controllabel events\n";
82 std::cout << "######################################\n";
99 std::cout << "######################################\n";
100 std::cout << "# tcsimple machine clocks \n";
102 std::cout << "######################################\n";
124 g2. Name( "tc simple machine with timed repair");
127 std::cout << "######################################\n";
128 std::cout << "# tcsimple machine with timed repair \n";
131 std::cout << "######################################\n";
138 std::cout << "######################################\n";
139 std::cout << "# tcsimple machine with untimed busy \n";
142 std::cout << "######################################\n";
151 std::cout << "######################################\n";
152 std::cout << "# csimple machine (active clocks) \n";
157 std::cout << "######################################\n";
158 std::cout << "# csimple machine (invariants) \n";
159 StateSet::Iterator sit;
163 std::cout << state << " inv " << invariant. ToString() << "\n";
168 std::cout << "######################################\n";
169 std::cout << "# csimple machine (guards and resets) \n";
172 std::cout << "src transition: " << g2. TStr(*stit) << "\n";
173 std::cout << "guard: " << g2. Guard(*stit).ToString() << "\n";
174 std::cout << "resets: " << g2. Resets(*stit).ToString() << "\n";
181 std::cout << "######################################\n";
182 std::cout << "# csimple machine with timing \n";
184 std::cout << "######################################\n";
189 std::cout << "############# valid #################\n";
libFAUDES 2.24g
--- 2014.09.15
--- c++ api documentaion by doxygen
|