Fawkes API Fawkes Development Version
pddl_parser::ExpressionTypeVisitor Class Reference

Retrieve the type index of an expression_t expression to determine the underlying type of the variant. More...

#include <pddl_semantics.h>

Inheritance diagram for pddl_parser::ExpressionTypeVisitor:

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...
 

Detailed Description

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.

Member Function Documentation

◆ operator()() [1/3]

std::type_index pddl_parser::ExpressionTypeVisitor::operator() ( const Atom &  a) const
inline

Visitor for Atom.

Parameters
aAtom.
Returns
Type index of struct Atom.

Definition at line 41 of file pddl_semantics.h.

◆ operator()() [2/3]

std::type_index pddl_parser::ExpressionTypeVisitor::operator() ( const Predicate p) const
inline

Visitor for Predicate.

Parameters
pPredicate.
Returns
Type index of struct Predicate.

Definition at line 50 of file pddl_semantics.h.

◆ operator()() [3/3]

std::type_index pddl_parser::ExpressionTypeVisitor::operator() ( const QuantifiedFormula p) const
inline

Visitor for QuantifiedFormula.

Parameters
pQuantified formula.
Returns
Type index of struct QuantifiedFormula.

Definition at line 59 of file pddl_semantics.h.


The documentation for this class was generated from the following file: