Inheritance diagram for symbolic::SignedProposition:

Public Member Functions
	SignedProposition (Proposition &&prop, bool is_pos)

	SignedProposition (const std::string &name_predicate, std::vector< Object > &&arguments, bool is_pos)

bool	is_pos () const

std::string	sign () const

Public Member Functions inherited from symbolic::Proposition
	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

Static Public Member Functions
static std::string	Sign (bool is_pos)

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

Additional Inherited Members
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

Static Public Member Functions