Fawkes API Fawkes Development Version
|
Retrieve the type index of an expression_t expression to determine the underlying type of the variant. More...
#include <pddl_semantics.h>
Public Member Functions | |
std::type_index | operator() (const Atom &a) const |
Visitor for Atom. More... | |
std::type_index | operator() (const Predicate &p) const |
Visitor for Predicate. More... | |
std::type_index | operator() (const QuantifiedFormula &p) const |
Visitor for QuantifiedFormula. More... | |
Retrieve the type index of an expression_t expression to determine the underlying type of the variant.
Definition at line 34 of file pddl_semantics.h.
|
inline |
Visitor for Atom.
a | Atom. |
Definition at line 41 of file pddl_semantics.h.
|
inline |
Visitor for Predicate.
p | Predicate. |
Definition at line 50 of file pddl_semantics.h.
|
inline |
Visitor for QuantifiedFormula.
p | Quantified formula. |
Definition at line 59 of file pddl_semantics.h.