Commit 6a291bcc authored by Gijs van Cuyck's avatar Gijs van Cuyck

removed full reachability requirement.

parent 8677a969
No preview for this file type
......@@ -69,7 +69,7 @@ struct main_options
//"esm-manual-controller.dot";
//"ABP_Sender.flat_0_1.dot";
//"ex5_with_loops_with_hidden_states_minimized.dot";
string input_filename = input_directory + "learnresult_new_Rand_500_10-15_MC_fix.dot";
string input_filename = input_directory + "no_semi-valid_transitions.dot";
string output_filename = "";
};
......@@ -188,8 +188,9 @@ int main(int argc, char *argv[])
const auto &reachable_machine = reachable_submachine(machine_and_translation.first, 0U);
const auto &machine = machine_and_translation.first;
if(machine.graph_size!=reachable_machine.graph_size)
throw runtime_error("machine is not fully reachable");
//todo: kijk of dit nodig is
//if(machine.graph_size!=reachable_machine.graph_size)
//throw runtime_error("machine is not fully reachable");
const auto &translation = machine_and_translation.second;
......
Markdown is supported
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