From e32a05bd844244348892985f1c67b2783610ac22 Mon Sep 17 00:00:00 2001 From: Martin Hanzik <martin@hanzik.com> Date: Sun, 13 May 2018 11:42:04 +0200 Subject: [PATCH] Remove moves --- agui2/src/Algorithm/Algorithm.cpp | 2 +- agui2/src/Converter.cpp | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/agui2/src/Algorithm/Algorithm.cpp b/agui2/src/Algorithm/Algorithm.cpp index 610aabc595..f5623b8ec5 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 27b654ae96..7f2d6e02c9 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", -- GitLab