Fawkes API  Fawkes Development Version
pddl_parser::Predicate Class Reference

#include <pddl_ast.h>

Public Attributes

Atom function
 The name of the predicate for atomic formulae, 'and' for a conjunction, 'or' for a disjunction, 'not' for a negation. More...
 
std::vector< Expression > arguments
 The arguments of the predicate or the subformulae of the compound formula. More...
 

Detailed Description

A PDDL formula (either part of a precondition or an effect(. Note that this is NOT necesarily a PDDL predicate, but may also be a compound formula. For a conjunction, the function would be 'and', and the arguments would be the subformulae.

Definition at line 63 of file pddl_ast.h.

Member Data Documentation

◆ arguments

std::vector<Expression> pddl_parser::Predicate::arguments

The arguments of the predicate or the subformulae of the compound formula.

Definition at line 72 of file pddl_ast.h.

Referenced by EffectToCLIPSFactVisitor::operator()(), and PreconditionToCLIPSFactVisitor::operator()().

◆ function

Atom pddl_parser::Predicate::function

The name of the predicate for atomic formulae, 'and' for a conjunction, 'or' for a disjunction, 'not' for a negation.

Definition at line 68 of file pddl_ast.h.

Referenced by EffectToCLIPSFactVisitor::operator()(), and PreconditionToCLIPSFactVisitor::operator()().


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