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
org.tweetyproject.web.services.aba

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)

Uses of AbaTheory in org.tweetyproject.web.services.aba

Methods in org.tweetyproject.web.services.aba with parameters of type AbaTheory

Modifier and Type	Method	Description
static <T extends Formula> Callee	AbaReasonerCalleeFactory.getCallee(AbaReasonerCalleeFactory.Command cmd, GeneralAbaReasoner<T> reasoner, AbaTheory<T> bbase, Assumption<T> a)	Creates a new callee instance based on the provided command, ABA reasoner, ABA theory, and assumption.

Constructors in org.tweetyproject.web.services.aba with parameters of type AbaTheory

Modifier	Constructor	Description
	AbaReasonerGetModelCallee(GeneralAbaReasoner<T> reasoner, AbaTheory<T> bbase)	Constructor for AbaReasonerGetModelCallee.
	AbaReasonerGetModelsCallee(GeneralAbaReasoner<T> reasoner, AbaTheory<T> bbase)	Constructor for AbaReasonerGetModelsCallee.
	AbaReasonerQueryCallee(GeneralAbaReasoner<T> reasoner, AbaTheory<T> bbase, Assumption<T> assumption)	Constructor for AbaReasonerQueryCallee.