Uses of Class
net.sf.tweety.arg.aba.syntax.ABATheory
-
Packages that use ABATheory Package Description net.sf.tweety.arg.aba.parser net.sf.tweety.arg.aba.reasoner net.sf.tweety.arg.aba.semantics -
-
Uses of ABATheory in net.sf.tweety.arg.aba.parser
Methods in net.sf.tweety.arg.aba.parser that return ABATheory Modifier and Type Method Description ABATheory<T>
ABAParser. parseBeliefBase(java.io.Reader reader)
-
Uses of ABATheory in net.sf.tweety.arg.aba.reasoner
Methods in net.sf.tweety.arg.aba.reasoner with parameters of type ABATheory Modifier and Type Method Description AbaExtension<T>
GeneralABAReasoner. getModel(ABATheory<T> bbase)
java.util.Collection<AbaExtension<T>>
CompleteReasoner. getModels(ABATheory<T> abat)
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>>
IdealReasoner. getModels(ABATheory<T> abat)
java.util.Collection<AbaExtension<T>>
PreferredReasoner. getModels(ABATheory<T> abat)
java.util.Collection<AbaExtension<T>>
StableReasoner. getModels(ABATheory<T> abat)
java.util.Collection<AbaExtension<T>>
WellFoundedReasoner. getModels(ABATheory<T> abat)
java.lang.Boolean
FlatABAReasoner. query(ABATheory<T> beliefbase, Assumption<T> query, InferenceMode inferenceMode)
java.lang.Boolean
GeneralABAReasoner. query(ABATheory<T> beliefbase, Assumption<T> query)
java.lang.Boolean
GeneralABAReasoner. query(ABATheory<T> beliefbase, Assumption<T> query, InferenceMode inferenceMode)
Queries the given ABA theory for the given assumption using the given inference type. -
Uses of ABATheory in net.sf.tweety.arg.aba.semantics
Methods in net.sf.tweety.arg.aba.semantics with parameters of type ABATheory Modifier and Type Method Description static <T extends Formula>
java.util.Collection<ABAAttack<T>>ABAAttack. allAttacks(java.util.Collection<Assumption<T>> from, java.util.Collection<Assumption<T>> to, ABATheory<T> abat)
static <T extends Formula>
java.util.Collection<ABAAttack<T>>ABAAttack. allAttacks(ABATheory<T> abat)
boolean
AbaExtension. satisfies(ABATheory<T> beliefBase)
-