Inheritance diagram for symbolic::Action:

Public Member Functions
	Action (const Pddl &pddl, const VAL::operator_*symbol)

	Action (const Pddl &pddl, const std::string &action_call)

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

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

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

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

PartialState	Apply (const PartialState &state, const std::vector< Object > &arguments) const

int	Apply (const std::vector< Object > &arguments, PartialState *state) const

const VAL::operator_*	symbol () const

const Pddl &	pddl () const

const std::string &	name () const

const std::vector< Object > &	parameters () const

const ParameterGenerator &	parameter_generator () const

const Formula &	preconditions () const

const VAL::effect_lists *	postconditions () const

std::string	to_string () const

std::string	to_string (const std::vector< Object > &arguments) const

Static Public Member Functions
static std::pair< Action, std::vector< Object > >	Parse (const Pddl &pddl, const std::string &action_call)

Protected Attributes
const VAL::operator_*	symbol_ = nullptr

const Pddl *	pddl_ = nullptr

std::string	name_

std::vector< Object >	parameters_

ParameterGenerator	param_gen_

Formula	Preconditions_

std::function< int(const std::vector< Object > &, State *)>	Apply_

std::function< int(const std::vector< Object > &, PartialState *)>	ApplyPartial_

Friends
bool	operator< (const Action &lhs, const Action &rhs)

bool	operator== (const Action &lhs, const Action &rhs)

std::ostream &	operator<< (std::ostream &os, const Action &action)

Member Function Documentation

◆ Apply()

inline

Returns: 0 if no change was made, 1 if the value of at least one proposition became explicit, 2 if value of at least one proposition was flipped.

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