ClauseBuffer Member List

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

addClause(ClauseExchangePtr clause)	ClauseBuffer	inline
addClauses(const std::vector< ClauseExchangePtr > &clauses)	ClauseBuffer	inline
ClauseBuffer()=delete	ClauseBuffer
ClauseBuffer(size_t size)	ClauseBuffer	inlineexplicit
ClauseBuffer(const ClauseBuffer &)=delete	ClauseBuffer
ClauseBuffer(const ClauseBuffer &&)=delete	ClauseBuffer
ClauseBuffer(ClauseBuffer &&)=default	ClauseBuffer
clear()	ClauseBuffer	inline
empty() const	ClauseBuffer	inline
getClause(ClauseExchangePtr &clause)	ClauseBuffer	inline
getClauses(std::vector< ClauseExchangePtr > &clauses)	ClauseBuffer	inline
operator=(const ClauseBuffer &)=delete	ClauseBuffer
operator=(ClauseBuffer &&)=default	ClauseBuffer
size() const	ClauseBuffer	inline
tryAddClauseBounded(ClauseExchangePtr clause)	ClauseBuffer	inline
tryAddClausesBounded(const std::vector< ClauseExchangePtr > &clauses)	ClauseBuffer	inline
~ClauseBuffer()	ClauseBuffer	inline