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

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

java.lang.Object

net.sf.tweety.arg.aba.syntax.InferenceRule<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 InferenceRule<T extends net.sf.tweety.commons.Formula>
extends Object
implements ABARule<T>

Author:

Nils Geilen (geilenn@uni-koblenz.de) An inference rule from an ABA theory

Constructor Summary

Constructors

Constructor	Description
InferenceRule()

Method Summary

Modifier and Type	Method	Description
void	addPremise(T premise)
void	addPremises(Collection<? extends T> premises)
boolean	equals(Object obj)
T	getConclusion()
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

InferenceRule

public InferenceRule()

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>

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