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)
Returns all attacks from the given attacking set to the given attacked set.static <T extends Formula>
java.util.Collection<AbaAttack<T>>AbaAttack. allAttacks(AbaTheory<T> abat)
Returns all attacks between arguments in the given AbaTheory.boolean
AbaExtension. satisfies(AbaTheory<T> beliefBase)
-