pddl_parser::QuantifiedFormula Class Reference

A PDDL quantified formula. More...

#include <pddl_ast.h>

Public Attributes
Atom	quantifier
	The name of the quantifier ('exists' or 'forall') More...
string_pairs_type	args
	args that are bound by the quantifier More...
Expression	sub_expr
	Sub-expression that is quantified over. More...

Detailed Description

A PDDL quantified formula.

Definition at line 88 of file pddl_ast.h.

Member Data Documentation

args

string_pairs_type pddl_parser::QuantifiedFormula::args

args that are bound by the quantifier

Definition at line 94 of file pddl_ast.h.

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

quantifier

Atom pddl_parser::QuantifiedFormula::quantifier

The name of the quantifier ('exists' or 'forall')

Definition at line 91 of file pddl_ast.h.

sub_expr

Expression pddl_parser::QuantifiedFormula::sub_expr

Sub-expression that is quantified over.

Definition at line 97 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