net.sf.tweety.arg.aba.syntax

Class Assumption<T extends 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>, Formula, Rule<T,T>

public class Assumption<T extends Formula>
extends java.lang.Object
implements ABARule<T>

Author:

Nils Geilen An assumption of an ABA theory

Field Summary

Fields

Modifier and Type	Field and Description
(package private) T	assumption The assumed formula

Constructor Summary

Constructors

Constructor and Description
Assumption(T assumption) Creates a new assumption

Method Summary

Modifier and Type	Method and 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()

Methods inherited from class java.lang.Object

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

Field Detail

assumption

T extends Formula assumption

The assumed formula

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 Rule<T extends Formula,T extends Formula>

isConstraint

public boolean isConstraint()

Specified by:

isConstraint in interface Rule<T extends Formula,T extends Formula>

setConclusion

public void setConclusion(T conclusion)

Specified by:

setConclusion in interface Rule<T extends Formula,T extends Formula>

addPremise

public void addPremise(T premise)

Specified by:

addPremise in interface Rule<T extends Formula,T extends Formula>

addPremises

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

Specified by:

addPremises in interface Rule<T extends Formula,T extends Formula>

getSignature

public Signature getSignature()

Description copied from interface: Formula

Returns the signature of the language of this formula.

Specified by:

getSignature in interface Formula

Specified by:

getSignature in interface Rule<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.

Specified by:

getPremise in interface Rule<T extends Formula,T extends Formula>

Returns:

the premise of this rule.

getConclusion

public T getConclusion()

Description copied from interface: Rule

Returns the conclusion of this rule.

Specified by:

getConclusion in interface Rule<T extends Formula,T extends Formula>

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 interface ABARule<T extends Formula>

Returns:

whether this rule is an assumption

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object