|
Go to the documentation of this file.
23 using namespace faudes;
26 int main( int argc, char* argv[]) {
29 Generator genOrig( "data/ex_bisim/ex_bisim.gen");
31 std::cout << "#####################\n";
32 std::cout << "# original generator \n";
33 std::cout << "#####################\n";
38 std::map<Idx,Idx> mapStateToPartition;
47 std::vector<Idx> newPartitions;
53 std::cout << "#########################################\n";
54 std::cout << "# generator holding the quasi-congruence\n";
55 std::cout << "#########################################\n";
58 genPart. Write( "./results/ex_bisim/genPart.gen");
60 std::map<Idx,Idx>::const_iterator mIt, mEndIt;
61 mIt = mapStateToPartition.begin();
62 mEndIt = mapStateToPartition.end();
63 std::cout << "##################################################\n";
64 std::cout << "# map from original states to equivalence classes\n";
65 for( ; mIt != mEndIt; mIt++){
66 std::cout << "state: " << mIt->first << " class: " << mIt->second << "\n";
68 std::cout << "##################################################\n";
libFAUDES 2.24g
--- 2014.09.15
--- c++ api documentaion by doxygen
|