Connect++ 0.6.1
A fast, readable connection prover for first-order logic.
Loading...
Searching...
No Matches
StackItem Member List

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

bt_restriction_indexStackItem
cStackItem
depthStackItem
extension_backtrack_restrictedStackItem
extension_current_index_entryStackItem
extension_iStackItem
extension_no_more_resultsStackItem
get_next_inference(Matrix &, Unifier &)StackItem
initialize(Matrix &)StackItem
item_typeStackItem
lStackItem
lemma_backtrack_restrictedStackItem
lemma_current_lemma_indexStackItem
lemma_no_more_resultsStackItem
lemma_sizeStackItem
litStackItem
neg_litStackItem
next_extension(Matrix &, Unifier &)StackItem
next_lemma()StackItem
next_reduction(Unifier &)StackItem
pStackItem
path_lengthStackItem
reduction_backtrack_restrictedStackItem
reduction_current_path_indexStackItem
reduction_no_more_resultsStackItem
restrict_backtrack()StackItem
set_bt_restriction_index(size_t i)StackIteminline
set_this_action(const InferenceItem &inf_i)StackIteminline
stack_item_setup()StackItem
StackItem() (defined in StackItem)StackIteminline
StackItem(StackItemType sit, const Clause &_c, const SimplePath &_p, const Lemmata &_l, uint32_t _d) (defined in StackItem)StackIteminline
subStackItem
this_actionStackItem
to_string_unsubbed() constStackItem