ReachabilityUtil.h

Go to the documentation of this file.

#ifndef PMPL_REACHABILITY_UTIL_H_
#define PMPL_REACHABILITY_UTIL_H_
 
#include "MPLibrary/MPBaseObject.h"
 
 
class ReachabilityUtil : public MPBaseObject {
 
  public:
 
 
    
 
 
    typedef std::vector<Cfg> ReachableSet;
 
 
    ReachabilityUtil();
 
    ReachabilityUtil(XMLNode& _node);
 
 
    virtual void Initialize() override;
 
 
    ReachableSet operator() (const Cfg& _cfg);
 
 
  private:
 
 
    std::string m_extenderLabel;
 
    // TODO: optimize with unordered map
    std::map<Cfg, ReachableSet> m_reachableSets; 
 
 
};
 
#endif