16 std::unique_ptr < Expression > m_condition;
17 std::unique_ptr < Command > m_body;
20 WhileCommand ( std::unique_ptr < Expression > condition, std::unique_ptr < Command > body ) : m_condition (
std::move ( condition ) ), m_body (
std::move ( body ) ) {
26 std::shared_ptr < abstraction::Value > conditionResult = m_condition->translateAndEval ( environment );
33 res = m_body->run ( environment );
static std::shared_ptr< abstraction::Value > eval(abstraction::TemporariesHolder &environment, const std::shared_ptr< abstraction::Value > ¶m, const std::string &type)
Definition: CastHelper.cpp:13
Definition: ValueHolderInterface.hpp:15
Definition: Environment.h:29
Definition: WhileCommand.h:15
CommandResult run(Environment &environment) const override
Definition: WhileCommand.h:23
WhileCommand(std::unique_ptr< Expression > condition, std::unique_ptr< Command > body)
Definition: WhileCommand.h:20
return res
Definition: MinimizeByPartitioning.h:145
CommandResult
Definition: CommandResult.h:10
Definition: FordFulkerson.hpp:16