symbolic::Predicate Class Reference

Inheritance diagram for symbolic::Predicate:

Public Member Functions
	Predicate (const Pddl &pddl, const VAL::pred_decl *symbol)
const VAL::pred_decl *	symbol () const
const std::string &	name () const
const std::vector< Object > &	parameters () const
const ParameterGenerator &	parameter_generator () const
std::string	to_string () const
std::string	to_string (const std::vector< Object > &arguments) const
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

Friends
std::ostream &	operator<< (std::ostream &os, const Predicate &pred)

Additional Inherited Members
Static Public Member Functions inherited from symbolic::Action
static std::pair< Action, std::vector< Object > >	Parse (const Pddl &pddl, const std::string &action_call)
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_

Member Function Documentation

name()

const std::string& symbolic::Predicate::name ( ) const

inline

Predicate head.

See also

Python: symbolic.Predicate.name().

parameter_generator()

const ParameterGenerator& symbolic::Predicate::parameter_generator ( ) const

inline

Combination generator for predicate parameters.

See also

Python: symbolic.Predicate.parameter_generator().

parameters()

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

inline

List of predicate parameters.

See also

Python: symbolic.Predicate.parameters().

to_string() [1/2]

std::string symbolic::Predicate::to_string

(

)

const

Creates a string representation of the predicate with the default parameters.

See also

Python: symbolic.Predicate.__repr__().

to_string() [2/2]

std::string symbolic::Predicate::to_string

(

const std::vector< Object > &

arguments

)

const

Creates a string representation of the predicate with the given arguments.

See also

Python: symbolic.Predicate.to_string().

---

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

• /home/runner/work/symbolic/symbolic/include/symbolic/predicate.h
• /home/runner/work/symbolic/symbolic/src/predicate.cc