Stack Member List

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

back()	Stack	inline
capacity	Stack	private
clear()	Stack	inline
emplace_back(StackItemType sit, const Clause &_c, const SimplePath &_p, const Lemmata &_l, uint32_t _d)	Stack	inline
emplace_back(StackItemType sit, const Clause &_c, const SimplePath &_p, const Lemmata &_l, const Substitution &_sub, uint32_t _d)	Stack	inline
empty() const	Stack	inline
extend(size_t _n)	Stack	inlineprivate
next_item_index	Stack	private
operator<< (defined in Stack)	Stack	friend
operator[](size_t _i)	Stack	inline
pop_back()	Stack	inline
push_back(const StackItem &_item)	Stack	inline
size() const	Stack	inline
Stack()	Stack	inline
stack	Stack	private
~Stack() (defined in Stack)	Stack	inline