Package | Description |
---|---|
net.sf.tweety.arg.aba.reasoner | |
net.sf.tweety.arg.aba.syntax |
Modifier and Type | Method and Description |
---|---|
AbaExtension<T> |
GeneralABAReasoner.getModel(ABATheory<T> bbase) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<AbaExtension<T>> |
FlatABAReasoner.getModels(ABATheory<T> abat) |
abstract java.util.Collection<AbaExtension<T>> |
GeneralABAReasoner.getModels(ABATheory<T> bbase) |
java.util.Collection<AbaExtension<T>> |
CompleteReasoner.getModels(ABATheory<T> abat) |
java.util.Collection<AbaExtension<T>> |
WellFoundedReasoner.getModels(ABATheory<T> abat) |
java.util.Collection<AbaExtension<T>> |
StableReasoner.getModels(ABATheory<T> abat) |
java.util.Collection<AbaExtension<T>> |
PreferredReasoner.getModels(ABATheory<T> abat) |
java.util.Collection<AbaExtension<T>> |
IdealReasoner.getModels(ABATheory<T> abat) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<AbaExtension<T>> |
ABATheory.getAllAdmissbleExtensions()
Computes all admissible extensions
|
Modifier and Type | Method and Description |
---|---|
boolean |
ABATheory.isAdmissible(AbaExtension<T> ext)
Checks whether a set of arguments is admissible
|