Package net.sf.tweety.arg.aba.syntax

Class Assumption<T extends net.sf.tweety.commons.Formula>

java.lang.Object

net.sf.tweety.arg.aba.syntax.Assumption<T>

Type Parameters:

T - is the type of the language that the ABA theory's rules range over

All Implemented Interfaces:

ABARule<T>, net.sf.tweety.commons.Formula, net.sf.tweety.commons.util.rules.Rule<T,T>

public class Assumption<T extends net.sf.tweety.commons.Formula>
extends Object
implements ABARule<T>

Author:

Nils Geilen (geilenn@uni-koblenz.de) An assumption of an ABA theory

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(Collection<? extends T> premises)
boolean	equals(Object obj)
T	getConclusion()
T	getFormula()	Returns the inner formula of this assumption.
Collection<? extends T>	getPremise()
net.sf.tweety.commons.Signature	getSignature()
int	hashCode()
boolean	isAssumption()
boolean	isConstraint()
boolean	isFact()
void	setConclusion(T conclusion)
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Assumption

public Assumption(T assumption)

Creates a new assumption

Parameters:

assumption - the assumed formula

Method Detail

isFact

public boolean isFact()

Specified by:

isFact in interface net.sf.tweety.commons.util.rules.Rule<T extends net.sf.tweety.commons.Formula,T extends net.sf.tweety.commons.Formula>

isConstraint

public boolean isConstraint()

Specified by:

isConstraint in interface net.sf.tweety.commons.util.rules.Rule<T extends net.sf.tweety.commons.Formula,T extends net.sf.tweety.commons.Formula>

setConclusion

public void setConclusion(T conclusion)

Specified by:

setConclusion in interface net.sf.tweety.commons.util.rules.Rule<T extends net.sf.tweety.commons.Formula,T extends net.sf.tweety.commons.Formula>

addPremise

public void addPremise(T premise)

Specified by:

addPremise in interface net.sf.tweety.commons.util.rules.Rule<T extends net.sf.tweety.commons.Formula,T extends net.sf.tweety.commons.Formula>

addPremises

public void addPremises(Collection<? extends T> premises)

Specified by:

addPremises in interface net.sf.tweety.commons.util.rules.Rule<T extends net.sf.tweety.commons.Formula,T extends net.sf.tweety.commons.Formula>

getSignature

public net.sf.tweety.commons.Signature getSignature()

Specified by:

getSignature in interface net.sf.tweety.commons.Formula

Specified by:

getSignature in interface net.sf.tweety.commons.util.rules.Rule<T extends net.sf.tweety.commons.Formula,T extends net.sf.tweety.commons.Formula>

getPremise

public Collection<? extends T> getPremise()

Specified by:

getPremise in interface net.sf.tweety.commons.util.rules.Rule<T extends net.sf.tweety.commons.Formula,T extends net.sf.tweety.commons.Formula>

getConclusion

public T getConclusion()

Specified by:

getConclusion in interface net.sf.tweety.commons.util.rules.Rule<T extends net.sf.tweety.commons.Formula,T extends net.sf.tweety.commons.Formula>

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 interface ABARule<T extends net.sf.tweety.commons.Formula>

Returns:

whether this rule is an assumption

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object