Fawkes API  Fawkes Development Version
pddl_parser::Action Class Reference

A structured representation of a PDDL action. More...

#include <pddl_ast.h>

Public Attributes

std::string name
 The name of the action. More...
 
string_pairs_type action_params
 A typed list of action parameters. More...
 
Expression duration
 The action duration in temporal domains. More...
 
Expression precondition
 The precondition of an action. More...
 
Expression effect
 The effect of an action. More...
 
Expression cond_breakup
 Used by the STN generator to determine conditional break points in the STN. More...
 
Expression temp_breakup
 Used by the STN generator to determine temporal break points in the STN. More...
 

Detailed Description

A structured representation of a PDDL action.

Definition at line 132 of file pddl_ast.h.

Member Data Documentation

◆ action_params

string_pairs_type pddl_parser::Action::action_params

A typed list of action parameters.

Definition at line 137 of file pddl_ast.h.

Referenced by pddl_parser::ActionSemantics::check_action_predicate(), and pddl_parser::ActionSemantics::operator()().

◆ cond_breakup

Expression pddl_parser::Action::cond_breakup

Used by the STN generator to determine conditional break points in the STN.

Definition at line 147 of file pddl_ast.h.

◆ duration

Expression pddl_parser::Action::duration

The action duration in temporal domains.

Definition at line 139 of file pddl_ast.h.

◆ effect

Expression pddl_parser::Action::effect

The effect of an action.

May be a compound.

Definition at line 143 of file pddl_ast.h.

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

◆ name

std::string pddl_parser::Action::name

The name of the action.

Definition at line 135 of file pddl_ast.h.

◆ precondition

Expression pddl_parser::Action::precondition

The precondition of an action.

May be a compound.

Definition at line 141 of file pddl_ast.h.

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

◆ temp_breakup

Expression pddl_parser::Action::temp_breakup

Used by the STN generator to determine temporal break points in the STN.

Definition at line 150 of file pddl_ast.h.


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