symbolic::ConjunctiveFormula Struct Reference

Public Types
using	Disjunction = PartialState

Public Attributes
std::vector< Disjunction >	disjunctions

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

---

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

• /home/runner/work/symbolic/symbolic/include/symbolic/normal_form.h