AbaRule

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:

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