Move current decision engine to decision engine old (#6466)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 5 May 2021 00:25:25 +0000 (19:25 -0500)
committerGitHub <noreply@github.com>
Wed, 5 May 2021 00:25:25 +0000 (19:25 -0500)
commit8a7c43f82b17a444c2f9518bc27f4ea8afe21201
tree12f66f7bde98f4855b06038d813b49829ea82509
parent67c43a7294442a7c660a26faf230cd983b21117d
Move current decision engine to decision engine old (#6466)

The decision engine is the class that contains strategies for doing e.g. justification heuristic.

The current implementation is hardcoded for the old implementation of justification heuristic.

Since both implementations will be maintained in the short term, this splits the parts of DecisionEngine that are specific to the old implementation to a class DecisionEngineOld.

It refactors the interface of DecisionEngine in a way that is compatible with both implementations.
src/CMakeLists.txt
src/decision/decision_engine.cpp
src/decision/decision_engine.h
src/decision/decision_engine_old.cpp [new file with mode: 0644]
src/decision/decision_engine_old.h [new file with mode: 0644]
src/decision/decision_strategy.h
src/decision/justification_heuristic.cpp
src/decision/justification_heuristic.h
src/prop/prop_engine.cpp