Class SimplePlRule
- java.lang.Object
-
- org.tweetyproject.arg.deductive.syntax.SimplePlRule
-
-
Constructor Summary
Constructors Constructor Description SimplePlRule()
SimplePlRule(PlFormula _claim)
SimplePlRule(PlFormula _claim, java.util.Set<PlFormula> _support)
-
Method Summary
Modifier and Type Method Description void
addPremise(PlFormula arg0)
Add the given premise to this rule.void
addPremises(java.util.Collection<? extends PlFormula> arg0)
Add the given premises to this rule.boolean
equals(java.lang.Object obj)
PlFormula
getConclusion()
Returns the conclusion of this rule.java.util.Collection<? extends PlFormula>
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(PlFormula arg0)
Set the conclusion of this rule.java.lang.String
toString()
-
-
-
Method Detail
-
addPremise
public void addPremise(PlFormula arg0)
Description copied from interface:Rule
Add the given premise to this rule.- Specified by:
addPremise
in interfaceRule<PlFormula,PlFormula>
- Parameters:
arg0
- some formula
-
addPremises
public void addPremises(java.util.Collection<? extends PlFormula> arg0)
Description copied from interface:Rule
Add the given premises to this rule.- Specified by:
addPremises
in interfaceRule<PlFormula,PlFormula>
- Parameters:
arg0
- some formulas
-
getConclusion
public PlFormula getConclusion()
Description copied from interface:Rule
Returns the conclusion of this rule.- Specified by:
getConclusion
in interfaceRule<PlFormula,PlFormula>
- Returns:
- the conclusion of this rule.
-
getPremise
public java.util.Collection<? extends PlFormula> getPremise()
Description copied from interface:Rule
Returns the premise of this rule.- Specified by:
getPremise
in interfaceRule<PlFormula,PlFormula>
- Returns:
- the premise of this rule.
-
getSignature
public Signature getSignature()
Description copied from interface:Formula
Returns the signature of the language of this formula.- Specified by:
getSignature
in interfaceFormula
- Specified by:
getSignature
in interfaceRule<PlFormula,PlFormula>
- Returns:
- the signature of the language of this formula.
-
isConstraint
public boolean isConstraint()
- Specified by:
isConstraint
in interfaceRule<PlFormula,PlFormula>
-
setConclusion
public void setConclusion(PlFormula arg0)
Description copied from interface:Rule
Set the conclusion of this rule.- Specified by:
setConclusion
in interfaceRule<PlFormula,PlFormula>
- Parameters:
arg0
- some formula
-
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-