Gluco::SimpSolver::ClauseDeleted Member List

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

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