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

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

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:

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

This class models an inference rule from an ABA theory.

Author:

Nils Geilen (geilenn@uni-koblenz.de)

Constructor Summary

Constructors

Constructor	Description
InferenceRule()

Method Summary

Modifier and Type	Method	Description
void	addPremise(T premise)
void	addPremises(Collection<? extends T> premises)
InferenceRule<T>	clone()
boolean	equals(Object obj)
T	getConclusion()
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()
void	setConclusion(T conclusion)
AbaElement<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, isLiteral, isWellFormed, substitute

Methods inherited from class java.lang.Object

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

Constructor Detail

InferenceRule

public InferenceRule()

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

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

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 InferenceRule<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 AbaElement<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