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

Subclasses with type arguments of type AbaTheory in org.tweetyproject.arg.aba.parser

Modifier and Type	Class	Description
class	AbaParser<T extends Formula>	Parses an Assumption-Based Argumentation (ABA) System from an input text.

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

Classes in org.tweetyproject.arg.aba.reasoner that implement interfaces with type arguments of type AbaTheory

Modifier and Type	Class	Description
class	GeneralAbaReasoner<T extends Formula>	This is an abstract generalization over non-flat ABA reasoners.
class	GeneralAbaReasoner<T extends Formula>	This is an abstract generalization over non-flat ABA reasoners.

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

Subclasses with type arguments of type AbaTheory in org.tweetyproject.arg.aba.semantics

Modifier and Type	Class	Description
class	AbaExtension<T extends Formula>	This class models an ABA Extension, meaning a set of assumptions.

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.