Public Member Functions
	Formula (const Pddl &pddl, const VAL::goal *symbol)

	Formula (const Pddl &pddl, const VAL::goal *symbol, const std::vector< Object > &parameters)

const VAL::goal *	symbol () const

bool	operator() (const State &state, const std::vector< Object > &arguments) const

bool	operator() (const State &state) const

std::optional< bool >	operator() (const PartialState &state, const std::vector< Object > &arguments) const

std::optional< bool >	operator() (const PartialState &state) const

const std::string &	to_string () const

Static Public Member Functions
static std::function< const std::vector< Object > &(const std::vector< Object > &)>	CreateApplicationFunction (const std::vector< Object > &action_params, const std::vector< Object > &prop_params)

Friends
std::ostream &	operator<< (std::ostream &os, const Formula &F)

Member Function Documentation

◆ CreateApplicationFunction()

ApplicationFunction symbolic::Formula::CreateApplicationFunction	(	const std::vector< Object > &	action_params,
		const std::vector< Object > &	prop_params
	)

static

Creates a function that takes action_args and returns prop_args based on the mapping (action_params -> prop_params).

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