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

Class AbaRule<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>

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

Direct Known Subclasses:

Assumption, InferenceRule

public abstract class AbaRule<T extends net.sf.tweety.commons.Formula>
extends AbaElement<T>
implements net.sf.tweety.commons.util.rules.Rule<T,T>

A common interface for assumptions and inference rules.

Author:

Nils Geilen (geilenn@uni-koblenz.de)

Constructor Summary

Constructors

Constructor	Description
AbaRule()

Method Summary

Modifier and Type	Method	Description
abstract boolean	isAssumption()

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

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

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure

getTerms, getTerms

Methods inherited from interface net.sf.tweety.commons.util.rules.Rule

addPremise, addPremises, getConclusion, getPremise, getSignature, isConstraint, isFact, setConclusion

Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

equals, getPredicates, hashCode

Constructor Detail

AbaRule

public AbaRule()

Method Detail

isAssumption

public abstract boolean isAssumption()

Returns:

whether this rule is an assumption