diff --git a/agui2/src/Algorithm/Algorithm.cpp b/agui2/src/Algorithm/Algorithm.cpp index 610aabc595499b01a352bef48444ed528e6ee2e1..f5623b8ec51d5eb23b9847aec878e2a229617b64 100644 --- a/agui2/src/Algorithm/Algorithm.cpp +++ b/agui2/src/Algorithm/Algorithm.cpp @@ -84,7 +84,7 @@ std::string Algorithm::getPrettyName() const { std::shared_ptr<abstraction::OperationAbstraction> Algorithm::execute(const std::vector<std::shared_ptr<abstraction::OperationAbstraction>>& params) const { - std::vector<bool> moves(params.size(), true); + std::vector<bool> moves(params.size(), false); ext::vector<std::shared_ptr<abstraction::OperationAbstraction>> extParams(params.begin(), params.end()); return abstraction::AlgorithmHelper::eval(this->fullName, {}, diff --git a/agui2/src/Converter.cpp b/agui2/src/Converter.cpp index 27b654ae969ca95ee1224dd7e1343887b39741a7..7f2d6e02c92a15a14317cf3364158eff09c13078 100644 --- a/agui2/src/Converter.cpp +++ b/agui2/src/Converter.cpp @@ -36,7 +36,7 @@ namespace Converter { params.push_back(data); std::vector<bool> moves; - moves.push_back(true); + moves.push_back(false); auto res = abstraction::AlgorithmHelper::eval("convert::DotConverter", {}, @@ -115,7 +115,7 @@ namespace Converter { params.push_back(std::make_shared<abstraction::ImmediateValueAbstraction<std::string>>(txt.toStdString())); std::vector<bool> moves; - moves.push_back(true); + moves.push_back(false); for (const auto& type: { "automaton::Automaton", "grammar::Grammar"}) { try { return abstraction::AlgorithmHelper::eval("string::Parse",