prop_not.cpp

Go to the documentation of this file.

#include <predicate_manager/prop_not.h>



using namespace predicate_manager;
using namespace std;



Not::
Not ( const std::string& name, const uint32_t pm_id ) :
    pred_name_id_ ( pm_id, name )
{
}



bool
Not::
evaluate ( boost::function<bool ( NameID ) > f ) const
{
    return ! ( f ( pred_name_id_ ) );
}



boost::shared_ptr<PropLogic>
Not::
clone() const
{
    boost::shared_ptr<Not> p ( new Not ( *this ) );
    return ( boost::dynamic_pointer_cast<PropLogic> ( p ) );
}



void
Not::
printVariables ( NameIDSet& dep_set ) const
{
    dep_set.insert ( pred_name_id_ );
}