Public Member Functions
	DisjunctiveFormula (std::vector< Conjunction > &&conjunctions)

	DisjunctiveFormula (std::initializer_list< Conjunction > l)

	DisjunctiveFormula (const Pddl &pddl, const Formula &formula, const std::vector< Object > &parameters, const std::vector< Object > &arguments)

	DisjunctiveFormula (const Pddl &pddl, const VAL::goal *symbol, const std::vector< Object > &parameters, const std::vector< Object > &arguments)

	DisjunctiveFormula (const Pddl &pddl, const VAL::effect_lists *symbol, const std::vector< Object > &parameters, const std::vector< Object > &arguments)

	DisjunctiveFormula (const Pddl &pddl, ConjunctiveFormula &&cnf)

bool	empty () const

Static Public Member Functions
static std::optional< DisjunctiveFormula >	Create (const Pddl &pddl, const Formula &formula, const std::vector< Object > &parameters, const std::vector< Object > &arguments, bool apply_axioms=false)

static std::optional< DisjunctiveFormula >	Create (const Pddl &pddl, const VAL::goal *symbol, const std::vector< Object > &parameters, const std::vector< Object > &arguments, bool apply_axioms=false)

static std::optional< DisjunctiveFormula >	Create (const Pddl &pddl, const VAL::effect_lists *symbol, const std::vector< Object > &parameters, const std::vector< Object > &arguments, bool apply_axioms=false)

static std::optional< DisjunctiveFormula >	Create (const Pddl &pddl, ConjunctiveFormula &&cnf, bool apply_axioms=false)

static std::optional< std::pair< DisjunctiveFormula, DisjunctiveFormula > >	NormalizeConditions (const Pddl &pddl, const std::string &action_call, bool apply_axioms=false)

static std::optional< DisjunctiveFormula >	NormalizePreconditions (const Pddl &pddl, const std::string &action_call, bool apply_axioms=false)

static std::optional< DisjunctiveFormula >	NormalizePostconditions (const Pddl &pddl, const std::string &action_call, bool apply_axioms=false)

static std::optional< DisjunctiveFormula >	NormalizeGoal (const Pddl &pddl, bool apply_axioms=false)

Friends
bool	operator== (const DisjunctiveFormula &lhs, const DisjunctiveFormula &rhs)

std::ostream &	operator<< (std::ostream &os, const DisjunctiveFormula &dnf)

Member Function Documentation

◆ NormalizeConditions()

std::optional< std::pair< DisjunctiveFormula, DisjunctiveFormula > > symbolic::DisjunctiveFormula::NormalizeConditions	(	const Pddl &	pddl,
		const std::string &	action_call,
		bool	apply_axioms = `false`
	)

static

Normalize the pre/post conditions of the given action.

If either of the conditions are invalid, this function will return an empty optional.

Parameters

pddl	Pddl object.
action_call	Action call string.
apply_axioms	Whether to apply the axioms to the pre/post conditions.

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