 |
Connect++ 0.6.0
A fast, readable connection prover for first-order logic.
|
|
Connect++ 0.6.0
A fast, readable connection prover for first-order logic.
|
This is the complete list of members for InferenceItem, including all inherited members.
| C_2 | InferenceItem | |
| index_in_LC_index | InferenceItem | |
| index_in_lemmata | InferenceItem | |
| index_in_path | InferenceItem | |
| index_to_LC | InferenceItem | |
| InferenceItem() | InferenceItem | |
| InferenceItem(InferenceItemType) | InferenceItem | |
| InferenceItem(InferenceItemType, ClauseNum) | InferenceItem | |
| InferenceItem(InferenceItemType, const Literal &, LitNum) | InferenceItem | |
| InferenceItem(InferenceItemType, const Literal &, LitNum, size_t) | InferenceItem | |
| InferenceItem(InferenceItemType, const Literal &, LitNum, ClauseNum, LitNum, size_t, size_t) | InferenceItem | |
| InferenceItem(InferenceItemType, const Literal &, LitNum, ClauseNum, LitNum, const Substitution &, size_t) | InferenceItem | |
| L | InferenceItem | |
| Lindex | InferenceItem | |
| Lprime | InferenceItem | |
| sigma | InferenceItem | |
| T | InferenceItem |
1.10.0