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.AbaElement<T>

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

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:

net.sf.tweety.commons.Formula, net.sf.tweety.commons.util.rules.Rule<T,T>, net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula, net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure, net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

public class Assumption<T extends net.sf.tweety.commons.Formula>
extends AbaRule<T>

This class models an assumption of an ABA theory.

Author:

Nils Geilen (geilenn@uni-koblenz.de)

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)
AbaElement<T>	clone()
boolean	equals(Object obj)
T	getConclusion()
T	getFormula()	Returns the inner formula of this assumption.
Set<? extends net.sf.tweety.logics.commons.syntax.Predicate>	getPredicates()
Collection<? extends T>	getPremise()
net.sf.tweety.commons.Signature	getSignature()
Set<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>>	getTerms()
<C extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> Set<C>	getTerms(Class<C> cls)
int	hashCode()
boolean	isAssumption()
boolean	isConstraint()
boolean	isFact()
boolean	isLiteral()
void	setConclusion(T conclusion)
Assumption<T>	substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
String	toString()

Methods inherited from class net.sf.tweety.arg.aba.syntax.AbaElement

allGroundInstances, allSubstitutions, containsTermsOfType, exchange, getAtoms, getPredicateCls, getUnboundVariables, isGround, isWellFormed, substitute

Methods inherited from class java.lang.Object

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()

isConstraint

public boolean isConstraint()

setConclusion

public void setConclusion(T conclusion)

addPremise

public void addPremise(T premise)

addPremises

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

getSignature

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

getPremise

public Collection<? extends T> getPremise()

getConclusion

public T getConclusion()

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 class 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()

Specified by:

hashCode in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Specified by:

equals in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Overrides:

equals in class Object

getPredicates

public Set<? extends net.sf.tweety.logics.commons.syntax.Predicate> getPredicates()

isLiteral

public boolean isLiteral()

Specified by:

isLiteral in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Overrides:

isLiteral in class AbaElement<T extends net.sf.tweety.commons.Formula>

getTerms

public Set<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> getTerms()

getTerms

public <C extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> Set<C> getTerms(Class<C> cls)

clone

public AbaElement<T> clone()

Specified by:

clone in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula

Specified by:

clone in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Specified by:

clone in class AbaElement<T extends net.sf.tweety.commons.Formula>

substitute

public Assumption<T> substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v,
                                net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
                         throws IllegalArgumentException

Specified by:

substitute in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula

Specified by:

substitute in class AbaElement<T extends net.sf.tweety.commons.Formula>

Throws:

IllegalArgumentException