Package net.sf.tweety.arg.aba.syntax
Class Assumption<T extends Formula>
- java.lang.Object
-
- net.sf.tweety.arg.aba.syntax.Assumption<T>
-
-
Field Summary
Fields Modifier and Type Field Description (package private) T
assumption
The assumed formula
-
Constructor Summary
Constructors Constructor Description Assumption(T assumption)
Creates a new assumption
-
Method Summary
Modifier and Type Method 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.T
getFormula()
Returns the inner formula of this assumption.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()
-
-
-
Constructor Detail
-
Assumption
public Assumption(T assumption)
Creates a new assumption- Parameters:
assumption
- the assumed formula
-
-
Method Detail
-
isFact
public boolean isFact()
-
isConstraint
public boolean isConstraint()
-
setConclusion
public void setConclusion(T conclusion)
-
addPremise
public void addPremise(T premise)
-
addPremises
public void addPremises(java.util.Collection<? extends T> premises)
-
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<T extends Formula,T extends Formula>
- Returns:
- the signature of the language of this formula.
-
getPremise
public java.util.Collection<? extends T> getPremise()
Description copied from interface:Rule
Returns the premise of this rule.
-
getConclusion
public T getConclusion()
Description copied from interface:Rule
Returns the conclusion of this rule.
-
getFormula
public T getFormula()
Returns the inner formula of this assumption.- Returns:
- the inner formula of this assumption.
-
isAssumption
public boolean isAssumption()
- Specified by:
isAssumption
in interfaceABARule<T extends Formula>
- Returns:
- whether this rule is an assumption
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in classjava.lang.Object
-
-