pddl_parser::ConstantSemantics Class Reference

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

#include <pddl_semantics.h>

Public Member Functions
pair_multi_const	operator() (const iterator_type &where, const pair_multi_const &parsed, const Domain &domain, std::vector< std::string > &warnings) const
	Check whether the given type for a set of constants is defined and registers warnings if constants are defined multiple times with conflicting types. More...

Detailed Description

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

Definition at line 109 of file pddl_semantics.h.

Member Function Documentation

operator()()

pair_multi_const pddl_parser::ConstantSemantics::operator()	(	const iterator_type &	where,
		const pair_multi_const &	parsed,
		const Domain &	domain,
		std::vector< std::string > &	warnings
	)		const

Check whether the given type for a set of constants is defined and registers warnings if constants are defined multiple times with conflicting types.

Parameters

where	Position of the parsed constants.
parsed	Constants that got parsed.
domain	Partial domain containing everything that was parsed so far
warnings	Hook from the parser where non-fatal warnings can be stored

Returns

the parsed constants.

Definition at line 94 of file pddl_semantics.cpp.

References pddl_parser::Domain::constants, 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