Inheritance diagram for symbolic::PropositionRef:
Public Member Functions | |
| PropositionRef (const std::string *name_predicate, const std::vector< Object > *arguments, size_t predicate_hash) | |
| const std::string & | name () const override |
| const std::vector< Object > & | arguments () const override |
 Public Member Functions inherited from symbolic::PropositionBase | |
| virtual std::string | to_string () const |
| virtual std::string | to_pddl () const |
| size_t | hash () const |
Additional Inherited Members | |
| Static Public Member Functions inherited from symbolic::PropositionBase | |
| static std::string | ParseHead (const std::string &atom) |
| Protected Member Functions inherited from symbolic::PropositionBase | |
| void | PrecomputeHash () |
| void | PrecomputeHash (size_t predicate_hash) |
| Static Protected Member Functions inherited from symbolic::PropositionBase | |
| static size_t | Hash (const PropositionBase &prop) |
| static size_t | Hash (const PropositionBase &prop, size_t predicate_hash) |
| Protected Attributes inherited from symbolic::PropositionBase | |
| size_t | hash_ |
The documentation for this class was generated from the following file:
- /home/runner/work/symbolic/symbolic/include/symbolic/proposition.h
