Inheritance diagram for symbolic::PropositionBase:
Public Member Functions | |
| virtual const std::string & | name () const =0 |
| virtual const std::vector< Object > & | arguments () const =0 |
| virtual std::string | to_string () const |
| virtual std::string | to_pddl () const |
| size_t | hash () const |
Static Public Member Functions | |
| static std::string | ParseHead (const std::string &atom) |
Protected Member Functions | |
| void | PrecomputeHash () |
| void | PrecomputeHash (size_t predicate_hash) |
Static Protected Member Functions | |
| static size_t | Hash (const PropositionBase &prop) |
| static size_t | Hash (const PropositionBase &prop, size_t predicate_hash) |
Protected Attributes | |
| size_t | hash_ |
Friends | |
| bool | operator< (const PropositionBase &lhs, const PropositionBase &rhs) |
| bool | operator== (const PropositionBase &lhs, const PropositionBase &rhs) |
| bool | operator!= (const PropositionBase &lhs, const PropositionBase &rhs) |
| std::ostream & | operator<< (std::ostream &os, const PropositionBase &P) |
The documentation for this class was generated from the following files:
- /home/runner/work/symbolic/symbolic/include/symbolic/proposition.h
- /home/runner/work/symbolic/symbolic/src/proposition.cc
