fix call to reduce_simulation

jurajsic · jurajsic · commit c71302d416c1 · 2025-04-15T13:30:56.000+02:00
diff --git a/src/nfa/operations.cc b/src/nfa/operations.cc
@@ -1084,7 +1084,7 @@ Nfa mata::nfa::reduce(const Nfa &aut, StateRenaming *state_renaming, const Param
     std::unordered_map<State,State> reduced_state_map;
     const std::string& algorithm = params.at("algorithm");
     if ("simulation" == algorithm) {
-        result = reduce_size_by_simulation(aut, reduced_state_map);
+        result = algorithms::reduce_simulation(aut, reduced_state_map);
     }
     else if ("residual" == algorithm) {
         // reduce type either 'after' or 'with' creation of residual automaton

Original file line number	Diff line number	Diff line change
`@@ -1084,7 +1084,7 @@ Nfa mata::nfa::reduce(const Nfa &aut, StateRenaming *state_renaming, const Param`
`1084`	`1084`	`std::unordered_map<State,State> reduced_state_map;`
`1085`	`1085`	`const std::string& algorithm = params.at("algorithm");`
`1086`	`1086`	`if ("simulation" == algorithm) {`
`1087`		`- result = reduce_size_by_simulation(aut, reduced_state_map);`
	`1087`	`+ result = algorithms::reduce_simulation(aut, reduced_state_map);`
`1088`	`1088`	`}`
`1089`	`1089`	`else if ("residual" == algorithm) {`
`1090`	`1090`	`// reduce type either 'after' or 'with' creation of residual automaton`