Uses of Class
org.tweetyproject.arg.aba.syntax.AbaTheory

Packages that use AbaTheory

Package	Description
org.tweetyproject.arg.aba.parser
org.tweetyproject.arg.aba.reasoner
org.tweetyproject.arg.aba.semantics

Uses of AbaTheory in org.tweetyproject.arg.aba.parser

Methods in org.tweetyproject.arg.aba.parser that return AbaTheory

Modifier and Type	Method	Description
AbaTheory<T>	AbaParser.parseBeliefBase(Reader reader)

Uses of AbaTheory in org.tweetyproject.arg.aba.reasoner

Methods in org.tweetyproject.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, InferenceMode inferenceMode)
Boolean	GeneralAbaReasoner.query(AbaTheory<T> beliefbase, Assumption<T> query)
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 org.tweetyproject.arg.aba.semantics

Methods in org.tweetyproject.arg.aba.semantics with parameters of type AbaTheory

Modifier and Type	Method	Description
static <T extends Formula> Collection<AbaAttack<T>>	AbaAttack.allAttacks(Collection<Assumption<T>> from, Collection<Assumption<T>> to, AbaTheory<T> abat)	Returns all attacks from the given attacking set to the given attacked set.
static <T extends Formula> Collection<AbaAttack<T>>	AbaAttack.allAttacks(AbaTheory<T> abat)	Returns all attacks between arguments in the given AbaTheory.
boolean	AbaExtension.satisfies(AbaTheory<T> beliefBase)