prop_logic_predicate.h

Go to the documentation of this file.

#ifndef _PROP_LOGIC_PREDICATE_H_
#define _PROP_LOGIC_PREDICATE_H_

#include <string>
#include <map>

#include <predicate_manager/predicate.h>
#include <predicate_manager/prop_logic.h>

namespace predicate_manager
{
class PropLogicPredicate : public Predicate
{
public:
    PropLogicPredicate ( const std::string& name,
                         const PropLogic& pl );

    PropLogicPredicate ( const std::string& name );

    void update();

    void bindPropLogic ( const PropLogic& pl );

private:
    bool evaluate ( const NameID& dep_name_id );

    void declareAllDependencies();

    boost::shared_ptr<PropLogic> prop_logic_; 
};
}

#endif