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.BooleanFlatAbaReasoner. query(AbaTheory<T> beliefbase, Assumption<T> query, InferenceMode inferenceMode)java.lang.BooleanGeneralAbaReasoner. query(AbaTheory<T> beliefbase, Assumption<T> query)java.lang.BooleanGeneralAbaReasoner. 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.booleanAbaExtension. satisfies(AbaTheory<T> beliefBase)
-