prop_operator.h

Go to the documentation of this file.

#ifndef _PROP_OPERATOR_H_
#define _PROP_OPERATOR_H_

#include <string>
#include <set>
#include <vector>

#include <predicate_manager/prop_logic.h>

namespace predicate_manager
{
class PropOperator : public PropLogic
{
public:
    typedef std::vector<boost::shared_ptr<const PropLogic> > children_type;

    PropOperator ( const PropLogic& p1,
                   const PropLogic& p2 );

    void printVariables ( NameIDSet& dep_set ) const;

protected:
    children_type children_; 
};
}

#endif