AbaExtension<T> |
GeneralABAReasoner.getModel(ABATheory<T> bbase) |
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) |
java.lang.Boolean |
GeneralABAReasoner.query(ABATheory<T> beliefbase,
Assumption<T> query) |
java.lang.Boolean |
FlatABAReasoner.query(ABATheory<T> beliefbase,
Assumption<T> query,
int inferenceType) |
java.lang.Boolean |
GeneralABAReasoner.query(ABATheory<T> beliefbase,
Assumption<T> query,
int inferenceType)
Queries the given ABA theory for the given assumption using the given
inference type.
|