Class SimplePlRule
- java.lang.Object
-
- net.sf.tweety.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)
void
addPremises(java.util.Collection<? extends PlFormula> arg0)
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)
java.lang.String
toString()
-
-
-
Method Detail
-
addPremise
public void addPremise(PlFormula arg0)
- Specified by:
addPremise
in interfaceRule<PlFormula,PlFormula>
-
addPremises
public void addPremises(java.util.Collection<? extends PlFormula> arg0)
- Specified by:
addPremises
in interfaceRule<PlFormula,PlFormula>
-
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)
- Specified by:
setConclusion
in interfaceRule<PlFormula,PlFormula>
-
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
-
-