Go to the documentation of this file.00001
00025 #include <predicate_manager/prop_pv.h>
00026
00027
00028
00029 using namespace predicate_manager;
00030 using namespace std;
00031
00032
00033
00034 PV::
00035 PV ( std::string const& name, const uint32_t pm_id ) :
00036 pred_name_id_ ( pm_id, name )
00037 {
00038 }
00039
00040
00041
00042 bool
00043 PV::
00044 evaluate ( boost::function<bool ( NameID ) > f ) const
00045 {
00046 return f ( pred_name_id_ );
00047 }
00048
00049
00050
00051 boost::shared_ptr<PropLogic>
00052 PV::
00053 clone() const
00054 {
00055 boost::shared_ptr<PV> p ( new PV ( *this ) );
00056 return ( boost::dynamic_pointer_cast<PropLogic> ( p ) );
00057 }
00058
00059
00060
00061 void
00062 PV::
00063 printVariables ( NameIDSet& dep_set ) const
00064 {
00065 dep_set.insert ( pred_name_id_ );
00066 }