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

a

Atom.

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

p	Predicate.

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

p	Quantified 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:

• src/libs/pddl_parser/pddl_semantics.h