|
Go to the documentation of this file.
23 using namespace faudes;
25 int main( int argc, char* argv[]) {
31 System genOrig = System( "data/ex_synthesis/ex_natural_all.gen");
32 genOrig. GraphWrite( "data/ex_synthesis/ex_natural_all.png");
34 EventSet highAlph = EventSet( "data/ex_synthesis/ex_natural_all.alph", "Alphabet");
42 aProject(genClosed,highAlph,genClosedProj);
43 genClosedProj. Write( "data/ex_synthesis/ex_natural_closed_proj.gen");
44 genClosedProj. GraphWrite( "data/ex_synthesis/ex_natural_closed_proj.png");
46 highAlph = EventSet( "data/ex_synthesis/ex_natural_all.alph", "Alphabet");
49 aProject(genClosed,highAlph,genClosedProj);
50 genClosedProj. Write( "data/ex_synthesis/ex_natural_obs_proj.gen");
51 genClosedProj. GraphWrite( "data/ex_synthesis/ex_natural_obs_proj.png");
55 highAlph = EventSet( "data/ex_synthesis/ex_natural_all.alph", "Alphabet");
61 aProject(genClosed,highAlph,genClosedProj);
62 genClosedProj. Write( "data/ex_synthesis/ex_natural_msa_proj.gen");
63 genClosedProj. GraphWrite( "data/ex_synthesis/ex_natural_msa_proj.png");
66 highAlph = EventSet( "data/ex_synthesis/ex_natural_all.alph", "Alphabet");
71 controllableEvents. Insert( "a");
72 controllableEvents. Insert( "f");
73 controllableEvents. Insert( "g");
74 controllableEvents. Insert( "h");
78 aProject(genLCC,highAlph,genClosedProj);
79 genClosedProj. Write( "data/ex_synthesis/ex_natural_obslcc_proj.gen");
80 genClosedProj. GraphWrite( "data/ex_synthesis/ex_natural_obslcc_proj.png");
83 highAlph = EventSet( "data/ex_synthesis/ex_natural_all.alph", "Alphabet");
88 aProject(genLCC,highAlph,genClosedProj);
89 genClosedProj. Write( "data/ex_synthesis/ex_natural_msalcc_proj.gen");
90 genClosedProj. GraphWrite( "data/ex_synthesis/ex_natural_msalcc_proj.png");
96 genOrig = System( "data/ex_synthesis/ex_relabel_all.gen");
97 genOrig. GraphWrite( "data/ex_synthesis/ex_relabel_all.png");
99 std::map< Idx, std::set< Idx > > mapRelabeledEvents;
100 highAlph = EventSet( "data/ex_synthesis/ex_natural_all.alph", "Alphabet");
103 genObs. Write( "data/ex_synthesis/ex_relabel_closed_result.gen");
104 genObs. GraphWrite( "data/ex_synthesis/ex_relabel_closed_result.png");
105 newHighAlph. Write( "data/ex_synthesis/ex_relabel_closed_result.alph");
108 aProject(genObs, newHighAlph, genHigh);
110 genHigh. Write( "data/ex_synthesis/ex_relabel_closed_high.gen");
111 genHigh. GraphWrite( "data/ex_synthesis/ex_relabel_closed_high.png");
112 std::cout << "##########################################################################\n";
113 std::cout << "# Lm-observer computed; the result can be found in the folder./results/ex_synthesis\n";
114 std::cout << "##########################################################################\n";
122 highAlph. Read( "data/ex_synthesis/ex_natural_all.alph", "Alphabet");
125 mapRelabeledEvents.clear();
127 genObs. Write( "data/ex_synthesis/ex_relabel_obs_result.gen");
128 genObs. GraphWrite( "data/ex_synthesis/ex_relabel_obs_result.png");
129 newHighAlph. Write( "data/ex_synthesis/ex_relabel_obs_result.alph");
131 aProject(genObs, newHighAlph, genHigh);
133 genHigh. Write( "data/ex_synthesis/ex_relabel_obs_high.gen");
134 genHigh. GraphWrite( "data/ex_synthesis/ex_relabel_obs_high.png");
135 std::cout << "################################################################################\n";
136 std::cout << "# Lm-observer computed; the result can be found in the folder./results/ex_synthesis\n";
137 std::cout << "################################################################################\n";
145 highAlph. Read( "data/ex_synthesis/ex_natural_all.alph", "Alphabet");
148 mapRelabeledEvents.clear();
150 genObs. Write( "data/ex_synthesis/ex_relabel_msa_result.gen");
151 genObs. GraphWrite( "data/ex_synthesis/ex_relabel_msa_result.png");
152 newHighAlph. Write( "data/ex_synthesis/ex_relabel_msa_result.alph");
154 aProject(genObs, newHighAlph, genHigh);
156 genHigh. Write( "data/ex_synthesis/ex_relabel_msa_high.gen");
157 genHigh. GraphWrite( "data/ex_synthesis/ex_relabel_msa_high.png");
158 std::cout << "################################################################################\n";
159 std::cout << "# MSA-observer omputed; the result can be found in the folder./results/ex_synthesis\n";
160 std::cout << "################################################################################\n";
169 highAlph. Read( "data/ex_synthesis/ex_natural_all.alph", "Alphabet");
172 mapRelabeledEvents.clear();
174 genObs. Write( "data/ex_synthesis/ex_relabel_obslcc_result.gen");
175 genObs. GraphWrite( "data/ex_synthesis/ex_relabel_obslcc_result.png");
176 newHighAlph. Write( "data/ex_synthesis/ex_relabel_obslcc_result.alph");
178 aProject(genObs, newHighAlph, genHigh);
180 genHigh. Write( "data/ex_synthesis/ex_relabel_obslcc_high.gen");
181 genHigh. GraphWrite( "data/ex_synthesis/ex_relabel_obslcc_high.png");
182 std::cout << "################################################################################\n";
183 std::cout << "# Lm-observer with LCC computed; the result can be found in the folder./results/ex_synthesis\n";
184 std::cout << "################################################################################\n";
192 highAlph. Read( "data/ex_synthesis/ex_natural_all.alph", "Alphabet");
195 mapRelabeledEvents.clear();
197 genObs. Write( "data/ex_synthesis/ex_relabel_msalcc_result.gen");
198 genObs. GraphWrite( "data/ex_synthesis/ex_relabel_msalcc_result.png");
199 newHighAlph. Write( "data/ex_synthesis/ex_relabel_msalcc_result.alph");
201 aProject(genObs, newHighAlph, genHigh);
203 genHigh. Write( "data/ex_synthesis/ex_relabel_msalcc_high.gen");
204 genHigh. GraphWrite( "data/ex_synthesis/ex_relabel_msalcc_high.png");
205 std::cout << "################################################################################\n";
206 std::cout << "# MSA-observer with LCC computed; the result can be found in the folder./results/ex_synthesis\n";
207 std::cout << "################################################################################\n";
libFAUDES 2.26g
--- 2015.08.17
--- c++ api documentaion by doxygen
|