| actions | StackItem | |
| add_all_extensions_to_actions(Matrix &, Unifier &) | StackItem | |
| add_all_reductions_to_actions(Unifier &) | StackItem | |
| all_extensions(vector< InferenceItem > &, Matrix &, Unifier &) | StackItem | |
| all_reductions(vector< InferenceItem > &, Unifier &) | StackItem | |
| bt_restriction_index | StackItem | |
| c | StackItem | |
| clear() | StackItem | inline |
| depth | StackItem | |
| extension_backtrack_restricted | StackItem | |
| extension_current_index_entry | StackItem | |
| extension_i | StackItem | |
| extension_ind | StackItem | |
| extension_index_entry_size | StackItem | |
| extension_initialize(Matrix &, Unifier &) | StackItem | |
| extension_is_empty() const | StackItem | inline |
| extension_lit | StackItem | |
| extension_move_to_next_result(Matrix &, Unifier &) | StackItem | |
| extension_neg_lit | StackItem | |
| extension_next_result | StackItem | |
| extension_no_more_results | StackItem | |
| extension_restrict_backtrack() | StackItem | inline |
| get_next_inference(Matrix &, Unifier &) | StackItem | |
| initialize(Matrix &, Unifier &) | StackItem | |
| item_type | StackItem | |
| l | StackItem | |
| next_extension(Matrix &, Unifier &) | StackItem | |
| next_reduction(Unifier &) | StackItem | |
| no_more_inferences() | StackItem | |
| p | StackItem | |
| path_length | StackItem | |
| reduction_backtrack_restricted | StackItem | |
| reduction_current_path_index | StackItem | |
| reduction_ind | StackItem | |
| reduction_initialize(Unifier &) | StackItem | |
| reduction_is_empty() const | StackItem | inline |
| reduction_lit | StackItem | |
| reduction_move_to_next_result(Unifier &) | StackItem | |
| reduction_neg_lit | StackItem | |
| reduction_next_result | StackItem | |
| reduction_no_more_results | StackItem | |
| reduction_restrict_backtrack() | StackItem | inline |
| restrict_backtrack() | StackItem | |
| set_bt_restriction_index(size_t i) | StackItem | inline |
| set_this_action(const InferenceItem &inf_i) | StackItem | inline |
| stack_item_setup() | StackItem | |
| 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 | |
1.10.0