Go to the documentation of this file.00001
00025 #ifndef _PROP_PV_H_
00026 #define _PROP_PV_H_
00027
00028 #include <string>
00029 #include <set>
00030
00031 #include <boost/function.hpp>
00032
00033 #include <predicate_manager/prop_logic.h>
00034
00035
00036
00037 namespace predicate_manager
00038 {
00046 class PV : public PropLogic
00047 {
00048 public:
00053 PV ( std::string const& name, const uint32_t pm_id = 0 );
00054
00056 bool evaluate ( boost::function<bool ( NameID ) > f ) const;
00057
00059 boost::shared_ptr<PropLogic> clone() const;
00060
00062 void printVariables ( NameIDSet& dep_set ) const;
00063
00064 private:
00065 NameID pred_name_id_;
00066 };
00067 }
00068
00069 #endif