pddl_parser::ActionSemantics Class Reference

Functor for semantic checks when parsing actions of a PDDL domain. More...

#include <pddl_semantics.h>

Public Member Functions
Action	operator() (const iterator_type &where, const Action &parsed, const Domain &domain) const
	Check whether the parameter list is properly typed and all expressions that express conditions/effects are well-formed in the domain. More...

Static Public Member Functions
static bool	check_type (const iterator_type &where, const std::string &got, const std::string &expected, const Domain &domain)
	Helper to check whether a type matches the expected one. More...
static void	check_action_condition (const iterator_type &where, const Expression &expr, const Domain &domain, const Action &action, string_pairs_type &bound_vars)
	Helper to recursively check expression semantics within precondition and effects of actions. More...
static void	check_action_predicate (const iterator_type &where, const Predicate &pred, const ExpressionType &type, const Domain &domain, const Action &action, string_pairs_type &bound_vars)
	Helper to recursively check expression semantics within predicates. More...

Detailed Description

Functor for semantic checks when parsing actions of a PDDL domain.

Definition at line 131 of file pddl_semantics.h.

Member Function Documentation

check_action_condition()

void pddl_parser::ActionSemantics::check_action_condition ( const iterator_type &  where, const Expression &  expr, const Domain &  domain, const Action &  action, string_pairs_type &  bound_vars  )

static

Helper to recursively check expression semantics within precondition and effects of actions.

Parameters

where	Position of the parsed action.
expr	Expression to be checked.
domain	Partial domain containing everything that was parsed so far.
action	Action containing the expression to check.
bound_vars	Variables that are bound through quantified formulas on an upper recursion level.

Definition at line 175 of file pddl_semantics.cpp.

References pddl_parser::QuantifiedFormula::args, pddl_parser::Expression::expression, pddl_parser::QuantifiedFormula::sub_expr, and pddl_parser::Expression::type.

check_action_predicate()

void pddl_parser::ActionSemantics::check_action_predicate ( const iterator_type &  where, const Predicate &  pred, const ExpressionType &  type, const Domain &  domain, const Action &  action, string_pairs_type &  bound_vars  )

static

Helper to recursively check expression semantics within predicates.

Parameters

where	Position of the parsed action.
pred	Predicate to be checked.
type	Expression type of the predicate.
domain	Partial domain containing everything that was parsed so far.
action	Action containing the expression to check.
bound_vars	Variables that are bound through quantified formulas on an upper recursion level.

Definition at line 201 of file pddl_semantics.cpp.

References pddl_parser::Action::action_params, pddl_parser::Predicate::arguments, pddl_parser::Domain::constants, pddl_parser::Predicate::function, and pddl_parser::Domain::predicates.

check_type()

bool pddl_parser::ActionSemantics::check_type ( const iterator_type &  where, const std::string &  got, const std::string &  expected, const Domain &  domain  )

static

Helper to check whether a type matches the expected one.

Recursively steps up the type hierarchy until the expected type is found or the topmost level is reached.

Parameters

where	Position of the parsed action.
got	Type that has to be checked.
expected	Type that is to be matched.
domain	partial domain containing everything that was parsed so far

Returns

true iff got is a sub-type of/the same type as expected.

Definition at line 155 of file pddl_semantics.cpp.

References pddl_parser::Domain::types.

operator()()

Action pddl_parser::ActionSemantics::operator()	(	const iterator_type &	where,
		const Action &	parsed,
		const Domain &	domain
	)		const

Check whether the parameter list is properly typed and all expressions that express conditions/effects are well-formed in the domain.

Parameters

where	Position of the parsed action.
parsed	Action that got parsed.
domain	Partial domain containing everything that was parsed so far.

Returns

parsed Action.

Definition at line 127 of file pddl_semantics.cpp.

References pddl_parser::Action::action_params, pddl_parser::Action::effect, pddl_parser::Action::precondition, and pddl_parser::Domain::types.

---

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

• src/libs/pddl_parser/pddl_semantics.h
• src/libs/pddl_parser/pddl_semantics.cpp