private static class TruthValueTracingUtil.LabelOccurrence
extends java.lang.Object
FormulaTermLabel
.Modifier and Type | Field and Description |
---|---|
private boolean |
inAntecedent
true occurred in antecedent, false occurred in succedent. |
private FormulaTermLabel |
label
The
FormulaTermLabel . |
Constructor and Description |
---|
LabelOccurrence(FormulaTermLabel label,
boolean inAntecedent)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
FormulaTermLabel |
getLabel()
Returns the
FormulaTermLabel . |
boolean |
isInAntecedent()
Checks if the label occurred in antecedent or succedent.
|
java.lang.String |
toString() |
private final FormulaTermLabel label
FormulaTermLabel
.private final boolean inAntecedent
true
occurred in antecedent, false
occurred in succedent.public LabelOccurrence(FormulaTermLabel label, boolean inAntecedent)
label
- The FormulaTermLabel
.inAntecedent
- true
occurred in antecedent, false
occurred in succedent.public FormulaTermLabel getLabel()
FormulaTermLabel
.FormulaTermLabel
.public boolean isInAntecedent()
true
occurred in antecedent, false
occurred in succedent.public java.lang.String toString()
toString
in class java.lang.Object