Minisat::SimpSolver::ClauseDeleted Member List

This is the complete list of members for Minisat::SimpSolver::ClauseDeleted, including all inherited members.

ca	Minisat::SimpSolver::ClauseDeleted
ClauseDeleted(const ClauseAllocator &_ca)	Minisat::SimpSolver::ClauseDeleted	inlineexplicit
operator()(const CRef &cr) const	Minisat::SimpSolver::ClauseDeleted	inline