1#ifndef EVALUATION_RESULT_H
2#define EVALUATION_RESULT_H
4#include "downward/operator_id.h"
9class EvaluationResult {
10 static const int UNINITIALIZED = -2;
13 std::vector<OperatorID> preferred_operators;
14 bool count_evaluation;
18 static const int INFTY;
42 bool is_uninitialized()
const;
43 bool is_infinite()
const;
44 int get_evaluator_value()
const;
45 bool get_count_evaluation()
const;
46 const std::vector<OperatorID>& get_preferred_operators()
const;
48 void set_evaluator_value(
int value);
49 void set_preferred_operators(std::vector<OperatorID>&& preferred_operators);
50 void set_count_evaluation(
bool count_eval);