Classes
class	Action

class	AStar

class	Axiom

class	BreadthFirstSearch

class	CombinationGenerator

struct	ConjunctiveFormula

class	DepthFirstSearch

class	DerivedPredicate

struct	DisjunctiveFormula

class	Formula

class	HashSet

class	Object

class	ParameterGenerator

class	PartialState

class	Pddl

class	Planner

class	Predicate

class	Proposition

class	PropositionBase

class	PropositionRef

struct	SearchNode

class	SignedProposition

class	State

class	StateIndex

class	UniqueVector

Functions
std::ostream &	operator<< (std::ostream &os, const Action &action)

std::ostream &	operator<< (std::ostream &os, const Axiom &axiom)

ostream &	operator<< (ostream &os, const Formula &F)

std::optional< bool >	Evaluate (const Pddl &pddl, const DisjunctiveFormula::Conjunction &conj, bool apply_axioms)

std::optional< DisjunctiveFormula >	Simplify (const Pddl &pddl, DisjunctiveFormula &&dnf, bool apply_axioms)

std::optional< DisjunctiveFormula >	Disjoin (const Pddl &pddl, std::vector< DisjunctiveFormula > &&dnfs, bool apply_axioms)

std::optional< DisjunctiveFormula >	Conjoin (const Pddl &pddl, const std::vector< DisjunctiveFormula > &dnfs, bool apply_axioms)

ConjunctiveFormula	Flip (DisjunctiveFormula &&dnf)

std::vector< DisjunctiveFormula >	Convert (ConjunctiveFormula &&cnf)

std::optional< DisjunctiveFormula >	Negate (const Pddl &pddl, DisjunctiveFormula &&dnf)

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

std::ostream &	operator<< (std::ostream &os, const ConjunctiveFormula &cnf)

std::ostream &	operator<< (std::ostream &os, const std::vector< Object > &objects)

	TEST_CASE_FIXTURE (testing::Fixture, "Pddl.IsValid")

	TEST_CASE_FIXTURE (testing::Fixture, "Pddl.NextState")

	TEST_CASE_FIXTURE (testing::Fixture, "Pddl.IsValidAction")

std::set< std::string >	Stringify (const State &state)

std::pair< std::set< std::string >, std::set< std::string > >	Stringify (const PartialState &state)

std::vector< std::string >	Stringify (const std::vector< Action > &actions)

std::vector< std::vector< std::string > >	Stringify (const std::vector< std::vector< Object >> &arguments)

std::vector< std::string >	Stringify (const std::vector< Object > &objects)

std::ostream &	operator<< (std::ostream &os, const Pddl &pddl)

std::ostream &	bold_on (std::ostream &os)

std::ostream &	bold_off (std::ostream &os)

std::ostream &	operator<< (std::ostream &os, const Planner::Node &node)

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

std::ostream &	operator<< (std::ostream &os, const PropositionBase &P)

	PYBIND11_MODULE (pysymbolic, m)

std::ostream &	operator<< (std::ostream &os, const State &state)

std::ostream &	operator<< (std::ostream &os, const PartialState &state)