Modifier and Type | Field and Description |
---|---|
(package private) java.util.Collection<T> |
body
The rule's prerequisites
|
(package private) T |
head
The rule's conclusion
|
Constructor and Description |
---|
InferenceRule() |
Modifier and Type | Method and Description |
---|---|
void |
addPremise(T premise) |
void |
addPremises(java.util.Collection<? extends T> premises) |
boolean |
equals(java.lang.Object obj) |
T |
getConclusion()
Returns the conclusion of this rule.
|
java.util.Collection<? extends T> |
getPremise()
Returns the premise of this rule.
|
Signature |
getSignature()
Returns the signature of the language of this formula.
|
int |
hashCode() |
boolean |
isAssumption() |
boolean |
isConstraint() |
boolean |
isFact() |
void |
setConclusion(T conclusion) |
java.lang.String |
toString() |
public boolean isFact()
public boolean isConstraint()
public void setConclusion(T conclusion)
public void addPremise(T premise)
public void addPremises(java.util.Collection<? extends T> premises)
public Signature getSignature()
Formula
getSignature
in interface Formula
getSignature
in interface Rule<T extends Formula,T extends Formula>
public java.util.Collection<? extends T> getPremise()
Rule
public T getConclusion()
Rule
public boolean isAssumption()
isAssumption
in interface ABARule<T extends Formula>
public java.lang.String toString()
toString
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object