Clasp::SatElite::SatElite::OccurList Member List

This is the complete list of members for Clasp::SatElite::SatElite::OccurList, including all inherited members.

add(uint32 id, bool sign)	Clasp::SatElite::SatElite::OccurList	[inline]
addWatch(uint32 clId)	Clasp::SatElite::SatElite::OccurList	[inline]
bce	Clasp::SatElite::SatElite::OccurList
clauseRange() const	Clasp::SatElite::SatElite::OccurList	[inline]
clear()	Clasp::SatElite::SatElite::OccurList	[inline]
cost() const	Clasp::SatElite::SatElite::OccurList	[inline]
dirty	Clasp::SatElite::SatElite::OccurList
litMark	Clasp::SatElite::SatElite::OccurList
mark(bool sign)	Clasp::SatElite::SatElite::OccurList	[inline]
marked(bool sign) const	Clasp::SatElite::SatElite::OccurList	[inline]
neg	Clasp::SatElite::SatElite::OccurList
numOcc() const	Clasp::SatElite::SatElite::OccurList	[inline]
OccurList()	Clasp::SatElite::SatElite::OccurList	[inline]
pos	Clasp::SatElite::SatElite::OccurList
refs	Clasp::SatElite::SatElite::OccurList
remove(uint32 id, bool sign, bool updateClauseList)	Clasp::SatElite::SatElite::OccurList	[inline]
removeWatch(uint32 clId)	Clasp::SatElite::SatElite::OccurList	[inline]
unmark()	Clasp::SatElite::SatElite::OccurList	[inline]