#include <predicates.h>
Inheritance diagram for Predicate:
Public Member Functions | |
| Predicate | get_negated () |
| Predicate (std::string name, std::vector< std::string > param_names, bool positive) | |
| Predicate (Symbol symbol, bool positive) | |
| bool | satisfies (Predicate predicate) |
Public Attributes | |
| bool | positive_ |
Friends | |
| std::ostream & | operator<< (std::ostream &out, const Predicate &p) |
| bool | operator== (Predicate &p1, Predicate &p2) |
Detailed Description
Definition at line 8 of file predicates.h.
Constructor & Destructor Documentation
| Predicate::Predicate | ( | std::string | name, |
| std::vector< std::string > | param_names, | ||
| bool | positive | ||
| ) | [inline] |
Definition at line 13 of file predicates.h.
| Predicate::Predicate | ( | Symbol | symbol, |
| bool | positive | ||
| ) | [inline] |
Definition at line 18 of file predicates.h.
Member Function Documentation
| Predicate Predicate::get_negated | ( | ) | [inline] |
Definition at line 32 of file predicates.h.
| bool Predicate::satisfies | ( | Predicate | predicate | ) | [inline] |
Definition at line 23 of file predicates.h.
Friends And Related Function Documentation
| std::ostream& operator<< | ( | std::ostream & | out, |
| const Predicate & | p | ||
| ) | [friend] |
Definition at line 10 of file predicates.cpp.
Definition at line 4 of file predicates.cpp.
Member Data Documentation
Definition at line 11 of file predicates.h.
The documentation for this class was generated from the following file: