pddl_parser::Expression Class Reference

A PDDL Expression. More...

#include <pddl_ast.h>

Public Attributes
ExpressionType	type
	The type of the expression, determined at parsing time. More...
expression_t	expression
	The expression formula. More...

Detailed Description

A PDDL Expression.

Definition at line 77 of file pddl_ast.h.

Member Data Documentation

expression

expression_t pddl_parser::Expression::expression

The expression formula.

Definition at line 82 of file pddl_ast.h.

Referenced by pddl_parser::ActionSemantics::check_action_condition(), EffectToCLIPSFactVisitor::operator()(), PreconditionToCLIPSFactVisitor::operator()(), and fawkes::stn::Stn::read_initial_state().

type

ExpressionType pddl_parser::Expression::type

The type of the expression, determined at parsing time.

Definition at line 80 of file pddl_ast.h.

Referenced by pddl_parser::ActionSemantics::check_action_condition().

---

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

• src/libs/pddl_parser/pddl_ast.h