prop_implies.h

Go to the documentation of this file.

#ifndef _PROP_IMPLIES_H_
#define _PROP_IMPLIES_H_

#include <string>

#include <boost/function.hpp>
#include <boost/shared_ptr.hpp>

#include <predicate_manager/prop_operator.h>



namespace predicate_manager
{
class Implies : public PropOperator
{
public:
    Implies ( const PropLogic& p1,
              const PropLogic& p2 ) :
        PropOperator ( p1, p2 )
    {}

    bool evaluate ( boost::function<bool ( NameID ) > f ) const;

    boost::shared_ptr<PropLogic> clone() const;
};
}

#endif