Added the oracle to compute the cost of a transition on a config into the class Transition

reading_machine/include/Transition.hpp

@@ -3,6 +3,7 @@
 
 #include <vector>
 #include "Action.hpp"
+#include "Config.hpp"
 
 class Transition
 {
@@ -10,6 +11,11 @@ class Transition
 
   std::string name;
   std::vector<Action> sequence;
+  std::function<int(const Config & config)> cost;
+
+  private :
+
+  void initWrite(std::string colName, std::string object, std::string index, std::string value);
 
   public :
 

reading_machine/src/Transition.cpp

@@ -7,21 +7,49 @@ Transition::Transition(const std::string & name)
 
   std::regex writeRegex("WRITE ([bs])\\.(.+) (.+) (.+)");
 
-  std::smatch sm;
+  auto doIfNameMatch = [name](auto & reg, auto init)
+  {
+    std::smatch sm;
+    std::regex_match(name, sm, reg);
+    if (sm.empty())
+      return false;
+
+    init(sm);
+
+    return true;
+  };
 
   try
   {
 
-  std::regex_match(name, sm, writeRegex);
-  if (!sm.empty())
-  {
-    sequence.emplace_back(Action::addHypothesisRelative(sm[3], Action::str2object(sm[1]), std::stoi(sm[2]), sm[4]));
+  if (doIfNameMatch(writeRegex, [this](auto sm){initWrite(sm[3], sm[1], sm[2], sm[4]);}))
     return;
-  }
 
-  throw std::exception();
+  throw std::invalid_argument("no match");
+
+  } catch (std::exception & e) {util::myThrow(fmt::format("Invalid name '{}' ({})", name, e.what()));}
+
+}
+
+void Transition::initWrite(std::string colName, std::string object, std::string index, std::string value)
+{
+  auto objectValue = Action::str2object(object);
+  int indexValue = std::stoi(index);
+
+  sequence.emplace_back(Action::addHypothesisRelative(colName, objectValue, indexValue, value));
+
+  cost = [colName, objectValue, indexValue, value](const Config & config)
+  {
+    int lineIndex = 0;
+    if (objectValue == Action::Object::Buffer)
+      lineIndex = config.getWordIndex() + indexValue;
+    else
+      lineIndex = config.getStack(indexValue);
 
-  } catch (std::exception &) {util::myThrow(fmt::format("Invalid name '{}'", name));}
+    if (config.getConst(colName, lineIndex, 0) == value)
+      return 0;
 
+    return 1;
+  };
 }