ClauseCopyCache Member List

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

backtrack()	ClauseCopyCache
cache	ClauseCopyCache	private
ClauseCopyCache()	ClauseCopyCache	inline
make_copy_with_new_variables(size_t, Clause &, const Matrix &, VariableIndex &, TermIndex &)	ClauseCopyCache
next_copy_index	ClauseCopyCache	private
number_of_copies_available	ClauseCopyCache	private
operator<< (defined in ClauseCopyCache)	ClauseCopyCache	friend
reset(const Matrix &, VariableIndex &, TermIndex &)	ClauseCopyCache
set_size(size_t _s)	ClauseCopyCache	inline
show_counts() const	ClauseCopyCache
size	ClauseCopyCache	private
stack	ClauseCopyCache	private