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

actions	StackItem
bt_restriction_index	StackItem
c	StackItem
clear()	StackItem	inline
depth	StackItem
item_type	StackItem
l	StackItem
p	StackItem
restrict_backtrack()	StackItem
set_bt_restriction_index(size_t i)	StackItem	inline
set_this_action(const InferenceItem &inf_i)	StackItem	inline
StackItem()=delete (defined in StackItem)	StackItem
StackItem(StackItemType sit) (defined in StackItem)	StackItem	inline
StackItem(StackItemType sit, const Clause &_c, const SimplePath &_p) (defined in StackItem)	StackItem	inline
StackItem(StackItemType sit, const Clause &_c, const SimplePath &_p, const Lemmata &_l) (defined in StackItem)	StackItem	inline
StackItem(StackItemType sit, const Clause &_c, const SimplePath &_p, uint32_t _d) (defined in StackItem)	StackItem	inline
StackItem(StackItemType sit, const Clause &_c, const SimplePath &_p, const Lemmata &_l, uint32_t _d) (defined in StackItem)	StackItem	inline
StackItem(StackItemType sit, const Clause &_c, const SimplePath &_p, const Substitution &_sub, uint32_t _d) (defined in StackItem)	StackItem	inline
StackItem(StackItemType sit, const Clause &_c, const SimplePath &_p, const Lemmata &_l, const Substitution &_sub, uint32_t _d) (defined in StackItem)	StackItem	inline
sub	StackItem
this_action	StackItem
to_string_unsubbed() const	StackItem