- getAxioms
Gets the axioms (justification) that constitute this explanation.
- getEntailment
Gets the entailment that the explanation is for
- contains
Determines whether this explanation contains a specific checker
- getEmptyExplanation
- getSize
Gets the size of this explanation
- <init>
- isEmpty
Determines if this explanation is empty i.e. there are no axioms that entail the
entailment
- isEntailment
- isJustificationEntailment
Determines if the justification for the entailment is the entailment itself
- isNotEntailment
- store
Stores the specified explanation to the specified output stream