This is the complete list of members for symbolic::DisjunctiveFormula, including all inherited members.

Conjunction typedef (defined in symbolic::DisjunctiveFormula)	symbolic::DisjunctiveFormula
conjunctions (defined in symbolic::DisjunctiveFormula)	symbolic::DisjunctiveFormula
Create(const Pddl &pddl, const Formula &formula, const std::vector< Object > &parameters, const std::vector< Object > &arguments, bool apply_axioms=false) (defined in symbolic::DisjunctiveFormula)	symbolic::DisjunctiveFormula	inlinestatic
Create(const Pddl &pddl, const VAL::goal *symbol, const std::vector< Object > &parameters, const std::vector< Object > &arguments, bool apply_axioms=false) (defined in symbolic::DisjunctiveFormula)	symbolic::DisjunctiveFormula	static
Create(const Pddl &pddl, const VAL::effect_lists *symbol, const std::vector< Object > &parameters, const std::vector< Object > &arguments, bool apply_axioms=false) (defined in symbolic::DisjunctiveFormula)	symbolic::DisjunctiveFormula	static
Create(const Pddl &pddl, ConjunctiveFormula &&cnf, bool apply_axioms=false) (defined in symbolic::DisjunctiveFormula)	symbolic::DisjunctiveFormula	static
DisjunctiveFormula()=default (defined in symbolic::DisjunctiveFormula)	symbolic::DisjunctiveFormula
DisjunctiveFormula(std::vector< Conjunction > &&conjunctions) (defined in symbolic::DisjunctiveFormula)	symbolic::DisjunctiveFormula	inlineexplicit
DisjunctiveFormula(std::initializer_list< Conjunction > l) (defined in symbolic::DisjunctiveFormula)	symbolic::DisjunctiveFormula	inline
DisjunctiveFormula(const Pddl &pddl, const Formula &formula, const std::vector< Object > &parameters, const std::vector< Object > &arguments) (defined in symbolic::DisjunctiveFormula)	symbolic::DisjunctiveFormula	inline
DisjunctiveFormula(const Pddl &pddl, const VAL::goal *symbol, const std::vector< Object > &parameters, const std::vector< Object > &arguments) (defined in symbolic::DisjunctiveFormula)	symbolic::DisjunctiveFormula	inline
DisjunctiveFormula(const Pddl &pddl, const VAL::effect_lists *symbol, const std::vector< Object > &parameters, const std::vector< Object > &arguments) (defined in symbolic::DisjunctiveFormula)	symbolic::DisjunctiveFormula	inline
DisjunctiveFormula(const Pddl &pddl, ConjunctiveFormula &&cnf) (defined in symbolic::DisjunctiveFormula)	symbolic::DisjunctiveFormula	inline
empty() const (defined in symbolic::DisjunctiveFormula)	symbolic::DisjunctiveFormula	inline
NormalizeConditions(const Pddl &pddl, const std::string &action_call, bool apply_axioms=false)	symbolic::DisjunctiveFormula	static
NormalizeGoal(const Pddl &pddl, bool apply_axioms=false) (defined in symbolic::DisjunctiveFormula)	symbolic::DisjunctiveFormula	static
NormalizePostconditions(const Pddl &pddl, const std::string &action_call, bool apply_axioms=false) (defined in symbolic::DisjunctiveFormula)	symbolic::DisjunctiveFormula	static
NormalizePreconditions(const Pddl &pddl, const std::string &action_call, bool apply_axioms=false) (defined in symbolic::DisjunctiveFormula)	symbolic::DisjunctiveFormula	static
operator<< (defined in symbolic::DisjunctiveFormula)	symbolic::DisjunctiveFormula	friend
operator== (defined in symbolic::DisjunctiveFormula)	symbolic::DisjunctiveFormula	friend