Inheritance diagram for symbolic::Proposition:

Public Member Functions
	Proposition (const std::string &name_predicate, std::vector< Object > &&arguments)

	Proposition (const std::string &name_predicate, const std::vector< Object > &arguments)

	Proposition (const Pddl &pddl, const std::string &str_prop)

	Proposition (const PropositionBase &other)

const std::string &	name () const override

const std::vector< Object > &	arguments () const override

Public Member Functions inherited from symbolic::PropositionBase
virtual std::string	to_string () const

virtual std::string	to_pddl () const

size_t	hash () const

Additional Inherited Members
Static Public Member Functions inherited from symbolic::PropositionBase
static std::string	ParseHead (const std::string &atom)

Protected Member Functions inherited from symbolic::PropositionBase
void	PrecomputeHash ()

void	PrecomputeHash (size_t predicate_hash)

Static Protected Member Functions inherited from symbolic::PropositionBase
static size_t	Hash (const PropositionBase &prop)

static size_t	Hash (const PropositionBase &prop, size_t predicate_hash)

Protected Attributes inherited from symbolic::PropositionBase
size_t	hash_

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

Public Member Functions

Additional Inherited Members