Fawkes API Fawkes Development Version
pddl_parser::TypeSemantics Class Reference

Functor for semantic checks when parsing PDDL types. More...

#include <pddl_semantics.h>

Public Member Functions

pair_type operator() (const iterator_type &where, const pair_type &parsed, const Domain &domain) const
 Throw an exception if the parsed type is a sub-type but the domain does not have the requirement :typing enabled. More...
 

Detailed Description

Functor for semantic checks when parsing PDDL types.

Definition at line 68 of file pddl_semantics.h.

Member Function Documentation

◆ operator()()

pair_type pddl_parser::TypeSemantics::operator() ( const iterator_type &  where,
const pair_type &  parsed,
const Domain domain 
) const

Throw an exception if the parsed type is a sub-type but the domain does not have the requirement :typing enabled.

Parameters
wherePosition of the parsed type in the string to parse.
parsedType that got parsed.
domainPartial domain containing everything that was parsed so far
Returns
the parsed type.

Definition at line 57 of file pddl_semantics.cpp.


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