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)static <T extends Formula>
java.util.Collection<ABAAttack<T>>ABAAttack. allAttacks(ABATheory<T> abat)booleanAbaExtension. satisfies(ABATheory<T> beliefBase)
-