Skip to content
Snippets Groups Projects
Commit 4da32582 authored by Jan Trávníček's avatar Jan Trávníček
Browse files

optimize dotConverter

parent 31d648e8
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
aconvert2/src/DotConverter.cpp
+ 20
− 20
View file @ 4da32582
...@@ -70,7 +70,7 @@ void DotConverter::convert(const automaton::EpsilonNFA& a, std::ostream& out) { ...@@ -70,7 +70,7 @@ void DotConverter::convert(const automaton::EpsilonNFA& a, std::ostream& out) {
   
//Mark initial states //Mark initial states
out << "node [shape = plaintext, label=\"start\"]; 0; \n"; out << "node [shape = plaintext, label=\"start\"]; 0; \n";
for (const automaton::State state : a.getInitialStates()) { for (const automaton::State& state : a.getInitialStates()) {
out << "0 -> " << states.find(state)->second << ";\n"; out << "0 -> " << states.find(state)->second << ";\n";
} }
   
...@@ -105,7 +105,7 @@ void DotConverter::convert(const automaton::NFA& a, std::ostream& out) { ...@@ -105,7 +105,7 @@ void DotConverter::convert(const automaton::NFA& a, std::ostream& out) {
   
//Mark initial states //Mark initial states
out << "node [shape = plaintext, label=\"start\"]; 0; \n"; out << "node [shape = plaintext, label=\"start\"]; 0; \n";
for (const automaton::State state : a.getInitialStates()) { for (const automaton::State& state : a.getInitialStates()) {
out << "0 -> " << states.find(state)->second << ";\n"; out << "0 -> " << states.find(state)->second << ";\n";
} }
   
...@@ -173,7 +173,7 @@ void DotConverter::convert(const automaton::ExtendedNFA& a, std::ostream& out) { ...@@ -173,7 +173,7 @@ void DotConverter::convert(const automaton::ExtendedNFA& a, std::ostream& out) {
   
//Mark initial states //Mark initial states
out << "node [shape = plaintext, label=\"start\"]; 0; \n"; out << "node [shape = plaintext, label=\"start\"]; 0; \n";
for (const automaton::State state : a.getInitialStates()) { for (const automaton::State& state : a.getInitialStates()) {
out << "0 -> " << states.find(state)->second << ";\n"; out << "0 -> " << states.find(state)->second << ";\n";
} }
   
...@@ -208,7 +208,7 @@ void DotConverter::convert(const automaton::CompactNFA& a, std::ostream& out) { ...@@ -208,7 +208,7 @@ void DotConverter::convert(const automaton::CompactNFA& a, std::ostream& out) {
   
//Mark initial states //Mark initial states
out << "node [shape = plaintext, label=\"start\"]; 0; \n"; out << "node [shape = plaintext, label=\"start\"]; 0; \n";
for (const automaton::State state : a.getInitialStates()) { for (const automaton::State& state : a.getInitialStates()) {
out << "0 -> " << states.find(state)->second << ";\n"; out << "0 -> " << states.find(state)->second << ";\n";
} }
   
...@@ -309,7 +309,7 @@ void DotConverter::convert(const automaton::InputDrivenNPDA& a, std::ostream& ou ...@@ -309,7 +309,7 @@ void DotConverter::convert(const automaton::InputDrivenNPDA& a, std::ostream& ou
   
//Mark initial states //Mark initial states
out << "node [shape = plaintext, label=\"start\"]; 0; \n"; out << "node [shape = plaintext, label=\"start\"]; 0; \n";
for (const automaton::State state : a.getInitialStates()) { for (const automaton::State& state : a.getInitialStates()) {
out << "0 -> " << states.find(state)->second << ";\n"; out << "0 -> " << states.find(state)->second << ";\n";
} }
   
...@@ -344,7 +344,7 @@ void DotConverter::convert(const automaton::VisiblyPushdownNPDA& a, std::ostream ...@@ -344,7 +344,7 @@ void DotConverter::convert(const automaton::VisiblyPushdownNPDA& a, std::ostream
   
//Mark initial states //Mark initial states
out << "node [shape = plaintext, label=\"start\"]; 0; \n"; out << "node [shape = plaintext, label=\"start\"]; 0; \n";
for (const automaton::State state : a.getInitialStates()) { for (const automaton::State& state : a.getInitialStates()) {
out << "0 -> " << states.find(state)->second << ";\n"; out << "0 -> " << states.find(state)->second << ";\n";
} }
   
...@@ -379,7 +379,7 @@ void DotConverter::convert(const automaton::NPDA& a, std::ostream& out) { ...@@ -379,7 +379,7 @@ void DotConverter::convert(const automaton::NPDA& a, std::ostream& out) {
   
//Mark initial states //Mark initial states
out << "node [shape = plaintext, label=\"start\"]; 0; \n"; out << "node [shape = plaintext, label=\"start\"]; 0; \n";
for (const automaton::State state : a.getInitialStates()) { for (const automaton::State& state : a.getInitialStates()) {
out << "0 -> " << states.find(state)->second << ";\n"; out << "0 -> " << states.find(state)->second << ";\n";
} }
   
...@@ -414,7 +414,7 @@ void DotConverter::convert(const automaton::SinglePopNPDA& a, std::ostream& out) ...@@ -414,7 +414,7 @@ void DotConverter::convert(const automaton::SinglePopNPDA& a, std::ostream& out)
   
//Mark initial states //Mark initial states
out << "node [shape = plaintext, label=\"start\"]; 0; \n"; out << "node [shape = plaintext, label=\"start\"]; 0; \n";
for (const automaton::State state : a.getInitialStates()) { for (const automaton::State& state : a.getInitialStates()) {
out << "0 -> " << states.find(state)->second << ";\n"; out << "0 -> " << states.find(state)->second << ";\n";
} }
   
...@@ -481,7 +481,7 @@ void DotConverter::transitions(const automaton::EpsilonNFA& fsm, const std::map< ...@@ -481,7 +481,7 @@ void DotConverter::transitions(const automaton::EpsilonNFA& fsm, const std::map<
} }
   
//print the map //print the map
for (const std::pair<std::pair<int, int>, std::string> transition : transitions) { for (const std::pair<std::pair<int, int>, std::string>& transition : transitions) {
out << transition.first.first << " -> " << transition.first.second; out << transition.first.first << " -> " << transition.first.second;
out << "[label=\"" << transition.second << "\"]\n"; out << "[label=\"" << transition.second << "\"]\n";
} }
...@@ -508,7 +508,7 @@ void DotConverter::transitions(const automaton::NFA& fsm, const std::map<automat ...@@ -508,7 +508,7 @@ void DotConverter::transitions(const automaton::NFA& fsm, const std::map<automat
} }
   
//print the map //print the map
for (const std::pair<std::pair<int, int>, std::string> transition : transitions) { for (const std::pair<std::pair<int, int>, std::string>& transition : transitions) {
out << transition.first.first << " -> " << transition.first.second; out << transition.first.first << " -> " << transition.first.second;
out << "[label=\"" << transition.second << "\"]\n"; out << "[label=\"" << transition.second << "\"]\n";
} }
...@@ -533,7 +533,7 @@ void DotConverter::transitions(const automaton::DFA& fsm, const std::map<automat ...@@ -533,7 +533,7 @@ void DotConverter::transitions(const automaton::DFA& fsm, const std::map<automat
} }
   
//print the map //print the map
for (const std::pair<std::pair<int, int>, std::string> transition : transitions) { for (const std::pair<std::pair<int, int>, std::string>& transition : transitions) {
out << transition.first.first << " -> " << transition.first.second; out << transition.first.first << " -> " << transition.first.second;
out << "[label=\"" << transition.second << "\"]\n"; out << "[label=\"" << transition.second << "\"]\n";
} }
...@@ -560,7 +560,7 @@ void DotConverter::transitions(const automaton::ExtendedNFA& fsm, const std::map ...@@ -560,7 +560,7 @@ void DotConverter::transitions(const automaton::ExtendedNFA& fsm, const std::map
} }
   
//print the map //print the map
for (const std::pair<std::pair<int, int>, std::string> transition : transitions) { for (const std::pair<std::pair<int, int>, std::string>& transition : transitions) {
out << transition.first.first << " -> " << transition.first.second; out << transition.first.first << " -> " << transition.first.second;
out << "[label=\"" << transition.second << "\"]\n"; out << "[label=\"" << transition.second << "\"]\n";
} }
...@@ -587,7 +587,7 @@ void DotConverter::transitions(const automaton::CompactNFA& fsm, const std::map< ...@@ -587,7 +587,7 @@ void DotConverter::transitions(const automaton::CompactNFA& fsm, const std::map<
} }
   
//print the map //print the map
for (const std::pair<std::pair<int, int>, std::string> transition : transitions) { for (const std::pair<std::pair<int, int>, std::string>& transition : transitions) {
out << transition.first.first << " -> " << transition.first.second; out << transition.first.first << " -> " << transition.first.second;
out << "[label=\"" << transition.second << "\"]\n"; out << "[label=\"" << transition.second << "\"]\n";
} }
...@@ -645,7 +645,7 @@ void DotConverter::transitions(const automaton::DPDA& pda, const std::map<automa ...@@ -645,7 +645,7 @@ void DotConverter::transitions(const automaton::DPDA& pda, const std::map<automa
} }
   
//print the map //print the map
for (const std::pair<std::pair<int, int>, std::string> transition : transitions) { for (const std::pair<std::pair<int, int>, std::string>& transition : transitions) {
out << transition.first.first << " -> " << transition.first.second; out << transition.first.first << " -> " << transition.first.second;
out << "[label=\"" << transition.second << "\"]\n"; out << "[label=\"" << transition.second << "\"]\n";
} }
...@@ -696,7 +696,7 @@ void DotConverter::transitions(const automaton::SinglePopDPDA& pda, const std::m ...@@ -696,7 +696,7 @@ void DotConverter::transitions(const automaton::SinglePopDPDA& pda, const std::m
} }
   
//print the map //print the map
for (const std::pair<std::pair<int, int>, std::string> transition : transitions) { for (const std::pair<std::pair<int, int>, std::string>& transition : transitions) {
out << transition.first.first << " -> " << transition.first.second; out << transition.first.first << " -> " << transition.first.second;
out << "[label=\"" << transition.second << "\"]\n"; out << "[label=\"" << transition.second << "\"]\n";
} }
...@@ -758,7 +758,7 @@ void DotConverter::transitions(const automaton::InputDrivenNPDA& pda, const std: ...@@ -758,7 +758,7 @@ void DotConverter::transitions(const automaton::InputDrivenNPDA& pda, const std:
} }
   
//print the map //print the map
for (const std::pair<std::pair<int, int>, std::string> transition : transitions) { for (const std::pair<std::pair<int, int>, std::string>& transition : transitions) {
out << transition.first.first << " -> " << transition.first.second; out << transition.first.first << " -> " << transition.first.second;
out << "[label=\"" << transition.second << "\"]\n"; out << "[label=\"" << transition.second << "\"]\n";
} }
...@@ -859,7 +859,7 @@ void DotConverter::transitions(const automaton::VisiblyPushdownNPDA& pda, const ...@@ -859,7 +859,7 @@ void DotConverter::transitions(const automaton::VisiblyPushdownNPDA& pda, const
} }
   
//print the map //print the map
for (const std::pair<std::pair<int, int>, std::string> transition : transitions) { for (const std::pair<std::pair<int, int>, std::string>& transition : transitions) {
out << transition.first.first << " -> " << transition.first.second; out << transition.first.first << " -> " << transition.first.second;
out << "[label=\"" << transition.second << "\"]\n"; out << "[label=\"" << transition.second << "\"]\n";
} }
...@@ -921,7 +921,7 @@ void DotConverter::transitions(const automaton::NPDA& pda, const std::map<automa ...@@ -921,7 +921,7 @@ void DotConverter::transitions(const automaton::NPDA& pda, const std::map<automa
} }
   
//print the map //print the map
for (const std::pair<std::pair<int, int>, std::string> transition : transitions) { for (const std::pair<std::pair<int, int>, std::string>& transition : transitions) {
out << transition.first.first << " -> " << transition.first.second; out << transition.first.first << " -> " << transition.first.second;
out << "[label=\"" << transition.second << "\"]\n"; out << "[label=\"" << transition.second << "\"]\n";
} }
...@@ -976,7 +976,7 @@ void DotConverter::transitions(const automaton::SinglePopNPDA& pda, const std::m ...@@ -976,7 +976,7 @@ void DotConverter::transitions(const automaton::SinglePopNPDA& pda, const std::m
} }
   
//print the map //print the map
for (const std::pair<std::pair<int, int>, std::string> transition : transitions) { for (const std::pair<std::pair<int, int>, std::string>& transition : transitions) {
out << transition.first.first << " -> " << transition.first.second; out << transition.first.first << " -> " << transition.first.second;
out << "[label=\"" << transition.second << "\"]\n"; out << "[label=\"" << transition.second << "\"]\n";
} }
...@@ -1021,7 +1021,7 @@ void DotConverter::transitions(const automaton::OneTapeDTM& tm, const std::map<a ...@@ -1021,7 +1021,7 @@ void DotConverter::transitions(const automaton::OneTapeDTM& tm, const std::map<a
} }
   
//print the map //print the map
for (const std::pair<std::pair<int, int>, std::string> transition : transitions) { for (const std::pair<std::pair<int, int>, std::string>& transition : transitions) {
out << transition.first.first << " -> " << transition.first.second; out << transition.first.first << " -> " << transition.first.second;
out << "[label=\"" << transition.second << "\"]\n"; out << "[label=\"" << transition.second << "\"]\n";
} }
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment