Public Member Functions
predicate_manager::Implies Class Reference

#include <prop_implies.h>

Inheritance diagram for predicate_manager::Implies:
Inheritance graph
[legend]

List of all members.

Public Member Functions

boost::shared_ptr< PropLogicclone () const
 A standard clone function for PropLogic and its derived classes.
bool evaluate (boost::function< bool(NameID) > f) const
 Evaluates this PropOperator.
 Implies (const PropLogic &p1, const PropLogic &p2)

Detailed Description

Implements the logical implication operator (A -> B) in propositional formulas.

Definition at line 42 of file prop_implies.h.


Constructor & Destructor Documentation

predicate_manager::Implies::Implies ( const PropLogic p1,
const PropLogic p2 
) [inline]

Default constructor. Implements the condition p1 -> p2.

Definition at line 48 of file prop_implies.h.


Member Function Documentation

boost::shared_ptr< PropLogic > Implies::clone ( ) const [virtual]

A standard clone function for PropLogic and its derived classes.

Implements predicate_manager::PropLogic.

Definition at line 52 of file prop_implies.cpp.

bool Implies::evaluate ( boost::function< bool(NameID) >  f) const [virtual]

Evaluates this PropOperator.

Implements predicate_manager::PropLogic.

Definition at line 36 of file prop_implies.cpp.


The documentation for this class was generated from the following files:


predicate_manager
Author(s): Joao Reis and Joao Messias
autogenerated on Wed Aug 26 2015 12:28:34