public class SimplePlRule extends java.lang.Object implements Rule<PropositionalFormula,PropositionalFormula>
Modifier and Type | Field and Description |
---|---|
private PropositionalFormula |
claim |
private java.util.Set<PropositionalFormula> |
support |
Constructor and Description |
---|
SimplePlRule() |
SimplePlRule(PropositionalFormula _claim) |
SimplePlRule(PropositionalFormula _claim,
java.util.Set<PropositionalFormula> _support) |
Modifier and Type | Method and Description |
---|---|
void |
addPremise(PropositionalFormula arg0) |
void |
addPremises(java.util.Collection<? extends PropositionalFormula> arg0) |
boolean |
equals(java.lang.Object obj) |
PropositionalFormula |
getConclusion()
Returns the conclusion of this rule.
|
java.util.Collection<? extends PropositionalFormula> |
getPremise()
Returns the premise of this rule.
|
Signature |
getSignature()
Returns the signature of the language of this formula.
|
int |
hashCode() |
boolean |
isConstraint() |
boolean |
isFact() |
void |
setConclusion(PropositionalFormula arg0) |
java.lang.String |
toString() |
private PropositionalFormula claim
private java.util.Set<PropositionalFormula> support
public SimplePlRule()
public SimplePlRule(PropositionalFormula _claim)
public SimplePlRule(PropositionalFormula _claim, java.util.Set<PropositionalFormula> _support)
public void addPremise(PropositionalFormula arg0)
addPremise
in interface Rule<PropositionalFormula,PropositionalFormula>
public void addPremises(java.util.Collection<? extends PropositionalFormula> arg0)
addPremises
in interface Rule<PropositionalFormula,PropositionalFormula>
public PropositionalFormula getConclusion()
Rule
getConclusion
in interface Rule<PropositionalFormula,PropositionalFormula>
public java.util.Collection<? extends PropositionalFormula> getPremise()
Rule
getPremise
in interface Rule<PropositionalFormula,PropositionalFormula>
public Signature getSignature()
Formula
getSignature
in interface Formula
getSignature
in interface Rule<PropositionalFormula,PropositionalFormula>
public boolean isConstraint()
isConstraint
in interface Rule<PropositionalFormula,PropositionalFormula>
public boolean isFact()
isFact
in interface Rule<PropositionalFormula,PropositionalFormula>
public void setConclusion(PropositionalFormula arg0)
setConclusion
in interface Rule<PropositionalFormula,PropositionalFormula>
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object