refactor: remove nb_marking variable

src/petri_net_sog.cpp

@@ -310,7 +310,6 @@ Paths PetriNetSOG::ObservablePaths(SOG &sog, map<int, int> trans_obs) const {
 
   sog.set_initial_state(c);
   sog.AddState(c);
-  //sog.nb_marking += bdd_pathcount(c->state);
 
   // TODO: What is the purpose of the old variable?
   bool old = true;

src/sog.cpp

@@ -46,7 +46,6 @@ int SOG::NbBddNode(Aggregate *state, size_t counter) {
 
 void SOG::PrintCompleteInformation() {
   std::cout << "\n\nGRAPH SIZE :";
-  std::cout << "\n\tNB MARKING : " << nb_marking;
   std::cout << "\n\tNB NODES : " << nb_states;
   std::cout << "\n\tNB ARCS : " << nb_edges << "\n";
 

src/sog.hpp

@@ -40,9 +40,6 @@ class SOG {
    */
   size_t nb_edges{0};
 
-  // TODO: What is this variable? Is it well named or defined?
-  double nb_marking{0};
-
   /**
    * Set the initial state of this graph
    * @param state the initial state