Formula Member List

This is the complete list of members for Formula, including all inherited members.

delete_lit_nonUnit(unsigned int index, int lit)	Formula
delete_nonUnit(unsigned int index)	Formula
delete_nonUnit_occurence(int lit, unsigned int index)	Formula
delete_unit(int lit)	Formula	inline
emplace_clause(std::initializer_list< int > clause)	Formula
getAllClauseCount()	Formula	inline
getNonUnit(unsigned int i) const	Formula	inline
getNonUnitEfficientSize(unsigned int i) const	Formula	inline
getNonUnitsCount()	Formula	inline
getOccurenceList(int lit)	Formula	inline
getUnitCount()	Formula	inline
getUnits() const	Formula	inline
getUnits()	Formula	inline
getVarCount()	Formula	inline
insert_unit(int lit)	Formula
push_clause(const std::vector< int > &clause)	Formula
setVarCount(unsigned int varCount)	Formula	inline
shrink_structures()	Formula