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(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)
Collection<AbaExtension<T>>	CompleteReasoner.getModels(ABATheory<T> abat)
Collection<AbaExtension<T>>	FlatABAReasoner.getModels(ABATheory<T> abat)
abstract Collection<AbaExtension<T>>	GeneralABAReasoner.getModels(ABATheory<T> bbase)
Collection<AbaExtension<T>>	IdealReasoner.getModels(ABATheory<T> abat)
Collection<AbaExtension<T>>	PreferredReasoner.getModels(ABATheory<T> abat)
Collection<AbaExtension<T>>	StableReasoner.getModels(ABATheory<T> abat)
Collection<AbaExtension<T>>	WellFoundedReasoner.getModels(ABATheory<T> abat)
Boolean	FlatABAReasoner.query(ABATheory<T> beliefbase, Assumption<T> query, net.sf.tweety.commons.InferenceMode inferenceMode)
Boolean	GeneralABAReasoner.query(ABATheory<T> beliefbase, Assumption<T> query)
Boolean	GeneralABAReasoner.query(ABATheory<T> beliefbase, Assumption<T> query, net.sf.tweety.commons.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 net.sf.tweety.commons.Formula> Collection<ABAAttack<T>>	ABAAttack.allAttacks(Collection<Assumption<T>> from, Collection<Assumption<T>> to, ABATheory<T> abat)
static <T extends net.sf.tweety.commons.Formula> Collection<ABAAttack<T>>	ABAAttack.allAttacks(ABATheory<T> abat)
boolean	AbaExtension.satisfies(ABATheory<T> beliefBase)