Fawkes API Fawkes Development Version
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: