Inheritance diagram for symbolic::DerivedPredicate:

Public Member Functions
	DerivedPredicate (const Pddl &pddl, const VAL::derivation_rule *symbol)

const VAL::derivation_rule *	symbol () const

const VAL::effect_lists *	postconditions () const =delete

bool	Apply (State *state) const

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

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

Public Member Functions inherited from symbolic::Action
	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 State	Apply (const State &state, const std::vector< DerivedPredicate > &predicates)

static bool	Apply (const std::vector< DerivedPredicate > &predicates, State *state)

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

Additional Inherited Members
Protected Attributes inherited from symbolic::Action
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_

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

/home/runner/work/symbolic/symbolic/include/symbolic/derived_predicate.h
/home/runner/work/symbolic/symbolic/src/derived_predicate.cc

Public Member Functions

Static Public Member Functions

Additional Inherited Members