net.sf.tweety.arg.aba.syntax

Interface ABARule<T extends Formula>

Type Parameters:

T - is the type of the language that the ABA theory's rules range over

All Superinterfaces:

Formula, Rule<T,T>

All Known Implementing Classes:

Assumption, InferenceRule

public interface ABARule<T extends Formula>
extends Rule<T,T>

Author:

Nils Geilen An interface that combines assumptions and inference rules

Method Summary

Modifier and Type	Method and Description
boolean	isAssumption()

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

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

Method Detail

isAssumption

boolean isAssumption()

Returns:

whether this rule is an assumption