pddl_planner::representation::ArityValidator Class Reference

Class to validate usage of operations against argument requirements. More...

#include <Domain.hpp>

Public Member Functions
	ArityValidator (const PredicateList &predicates=PredicateList())
bool	isOperator (const Label &label) const
bool	isQuantifier (const Label &label) const
void	validate (const Label &label, uint8_t arity)

Detailed Description

Class to validate usage of operations against argument requirements.

Constructor & Destructor Documentation

ArityValidator()

pddl_planner::representation::ArityValidator::ArityValidator

(

const PredicateList &

predicates = PredicateList()

)

Member Function Documentation

isOperator()

bool pddl_planner::representation::ArityValidator::isOperator

(

const Label &

label

)

const

Test if label represents an operator

Returns

true if label represents an operator, false otherwise

isQuantifier()

bool pddl_planner::representation::ArityValidator::isQuantifier

(

const Label &

label

)

const

Test is label represents a quantifier

Returns

true if label represents a quantifier, false otherwise

validate()

void pddl_planner::representation::ArityValidator::validate	(	const Label &	label,
		uint8_t	arity
	)

Validate arity of given operation or quantifier

Parameters

label

Identifier of operation or quantifier (or action)

Exceptions

std::invalid_argument

if arity is not correct for the given

---

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

• /build/rock-master-18.09-planning-pddl-planner-0.20171219/src/representation/Domain.hpp
• /build/rock-master-18.09-planning-pddl-planner-0.20171219/src/representation/Domain.cpp