public interface Rule<C extends Formula,P extends Formula> extends Formula
Modifier and Type | Method and Description |
---|---|
void |
addPremise(P premise) |
void |
addPremises(java.util.Collection<? extends P> premises) |
C |
getConclusion()
Returns the conclusion of this rule.
|
java.util.Collection<? extends P> |
getPremise()
Returns the premise of this rule.
|
Signature |
getSignature()
Returns the signature of the language of this formula.
|
boolean |
isConstraint() |
boolean |
isFact() |
void |
setConclusion(C conclusion) |
boolean isFact()
boolean isConstraint()
void setConclusion(C conclusion)
void addPremise(P premise)
void addPremises(java.util.Collection<? extends P> premises)
Signature getSignature()
Formula
getSignature
in interface Formula
java.util.Collection<? extends P> getPremise()
C getConclusion()