ClauseCopyCache Member List

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

backtrack()	ClauseCopyCache
cache	ClauseCopyCache	private
ClauseCopyCache()	ClauseCopyCache	inline
ClauseCopyCache(size_t _size)	ClauseCopyCache	inline
clear()	ClauseCopyCache
current_copy_number	ClauseCopyCache	private
make_copy_with_new_variables(size_t, Clause &, VariableIndex &, TermIndex &)	ClauseCopyCache
number_of_copies_available	ClauseCopyCache	private
set_size(size_t)	ClauseCopyCache
size	ClauseCopyCache	private
stack	ClauseCopyCache	private