statesChecker.h

Go to the documentation of this file.

// =========================================================================
#ifndef GUM_STATES_CHECKER_H
#define GUM_STATES_CHECKER_H
// =========================================================================
// =========================================================================
#include <agrum/core/sequence.h>
#include <agrum/multidim/implementations/multiDimFunctionGraph.h>
// =========================================================================

namespace gum {


  class StatesChecker {
    public:
    // ==========================================================================
    // ==========================================================================

    StatesChecker();

    ~StatesChecker();


    // ==========================================================================
    // ==========================================================================

    bool checkState(const Instantiation& state) { return __checker->get(state); }

    void addState(const Instantiation&);

    Idx nbVisitedStates() { return __nbVisitedStates; }

    void reset(const Instantiation&);


    private:
    void __insertState(const Instantiation&, NodeId, Idx);

    Idx __nbVisitedStates;

    MultiDimFunctionGraph< bool >* __checker;
    NodeId                         __checkerTrueId, __checkerFalseId;

    Set< Instantiation* > __visitedStates;
  };
} /* namespace gum */

#endif   // GUM_STATES_CHECKER_H