Fawkes API
Fawkes Development Version
|
A representation of a Predicate in the STN. More...
#include "predicate.h"
Public Member Functions | |
Predicate (const std::string &name, bool condition, const std::vector< std::string > &attrs) | |
Constructor. More... | |
bool | operator== (const Predicate &rhs) |
Compare two Predicates. More... | |
std::string | name () const |
Get the name of the predicate. More... | |
bool | condition () const |
Get the condition of the predicate. More... | |
const std::vector< std::string > & | attrs () const |
Get the attributes of the predicate. More... | |
Friends | |
std::ostream & | operator<< (std::ostream &, const Predicate &) |
Print a Predicate. More... | |
A representation of a Predicate in the STN.
Definition at line 32 of file predicate.h.
fawkes::stn::Predicate::Predicate | ( | const std::string & | name, |
bool | condition, | ||
const std::vector< std::string > & | attrs | ||
) |
Constructor.
name | The name of the predicate. |
condition | False iff this predicate is negated. |
attrs | Parameters of the predicate. |
Definition at line 36 of file predicate.cpp.
const std::vector< std::string > & fawkes::stn::Predicate::attrs | ( | ) | const |
Get the attributes of the predicate.
Definition at line 90 of file predicate.cpp.
Referenced by fawkes::stn::StnAction::genConditionEdgeLabel().
bool fawkes::stn::Predicate::condition | ( | ) | const |
Get the condition of the predicate.
Definition at line 81 of file predicate.cpp.
Referenced by fawkes::stn::StnAction::genConditionEdgeLabel().
std::string fawkes::stn::Predicate::name | ( | ) | const |
Get the name of the predicate.
Definition at line 72 of file predicate.cpp.
Referenced by fawkes::stn::StnAction::checkForBreakup(), and fawkes::stn::StnAction::genConditionEdgeLabel().
bool fawkes::stn::Predicate::operator== | ( | const Predicate & | rhs | ) |
Compare two Predicates.
rhs | The other predicatge. |
Definition at line 63 of file predicate.cpp.
|
friend |
Print a Predicate.
This prints all relevant information about the predicate.
strm | The stream to pass the information to. |
a | The predicate to show. |
Definition at line 47 of file predicate.cpp.