Package org.tweetyproject.arg.aba.syntax

Class AbaRule<T extends Formula>

java.lang.Object

org.tweetyproject.arg.aba.syntax.AbaElement<T>

org.tweetyproject.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:

Formula, Rule<T,T>, ComplexLogicalFormula, LogicStructure, SimpleLogicalFormula

Direct Known Subclasses:

Assumption, InferenceRule

public abstract class AbaRule<T extends Formula>
extends AbaElement<T>
implements Rule<T,T>

A common interface for assumptions and inference rules.

Author:

Nils Geilen (geilenn@uni-koblenz.de)

Constructor Summary

Constructors

Constructor	Description
AbaRule()	Default

Method Summary

Modifier and Type	Method	Description
abstract boolean	isAssumption()	Return whether this rule is an assumption

Methods inherited from class org.tweetyproject.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, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.tweetyproject.logics.commons.syntax.interfaces.LogicStructure

getTerms, getTerms

Methods inherited from interface org.tweetyproject.commons.util.rules.Rule

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

Methods inherited from interface org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula

equals, getPredicates, hashCode

Constructor Details

AbaRule

public AbaRule()

Default

Method Details

isAssumption

public abstract boolean isAssumption()

Return whether this rule is an assumption

Returns:

whether this rule is an assumption