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

Packages that use Assumption

Package	Description
org.tweetyproject.arg.aba.reasoner
org.tweetyproject.arg.aba.semantics
org.tweetyproject.arg.aba.syntax
org.tweetyproject.web.services.aba

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

Methods in org.tweetyproject.arg.aba.reasoner with parameters of type Assumption

Modifier and Type	Method	Description
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 Assumption in org.tweetyproject.arg.aba.semantics

Methods in org.tweetyproject.arg.aba.semantics that return types with arguments of type Assumption

Modifier and Type	Method	Description
Iterator<Assumption<T>>	AbaExtension.iterator()

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

Modifier and Type	Method	Description
boolean	AbaExtension.add(Assumption<T> e)
static <T extends Invertable> boolean	AbaAttack.attacks(Deduction<T> attacker, Assumption<T> attacked)	True iff attacker attacks attacked
boolean	AbaExtension.satisfies(Assumption<T> formula)

Method parameters in org.tweetyproject.arg.aba.semantics with type arguments of type Assumption

Modifier and Type	Method	Description
boolean	AbaExtension.addAll(Collection<? extends Assumption<T>> c)
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.

Constructor parameters in org.tweetyproject.arg.aba.semantics with type arguments of type Assumption

Modifier	Constructor	Description
	AbaExtension(Collection<Assumption<T>> assumptions)	Creates a new extension with the given assumptions.

Uses of Assumption in org.tweetyproject.arg.aba.syntax

Methods in org.tweetyproject.arg.aba.syntax that return Assumption

Modifier and Type	Method	Description
Assumption<T>	Assumption.substitute(Term<?> v, Term<?> t)

Methods in org.tweetyproject.arg.aba.syntax that return types with arguments of type Assumption

Modifier and Type	Method	Description
Collection<Collection<Assumption<T>>>	AbaTheory.getAllConflictFreeExtensions()	Computes all context-free extensions.
Collection<Collection<Assumption<T>>>	AbaTheory.getAllExtensions()	Computes all possible extensions.
Collection<Assumption<T>>	AbaTheory.getAssumptions()	Return the assumptions
Collection<Assumption<T>>	AbaTheory.getClosure(Collection<Assumption<T>> assumptions)	A closure is the set of assumptions that can be derived from a set of assumptions via inference rules.

Methods in org.tweetyproject.arg.aba.syntax with parameters of type Assumption

Modifier and Type	Method	Description
boolean	AbaTheory.defends(Collection<Assumption<T>> defendor, Assumption<T> defended)	Checks whether a set of arguments defends an argument.

Method parameters in org.tweetyproject.arg.aba.syntax with type arguments of type Assumption

Modifier and Type	Method	Description
boolean	AbaTheory.attacks(Collection<Assumption<T>> attackers, Collection<Assumption<T>> attackeds)	Checks whether a set of assumptions attacks another set of assumptions.
boolean	AbaTheory.defends(Collection<Assumption<T>> defendor, Assumption<T> defended)	Checks whether a set of arguments defends an argument.
Collection<Deduction<T>>	AbaTheory.getAllDeductions(Collection<Assumption<T>> assumptions)	Return all deductions that can be derived from this theory
Collection<Assumption<T>>	AbaTheory.getClosure(Collection<Assumption<T>> assumptions)	A closure is the set of assumptions that can be derived from a set of assumptions via inference rules.
boolean	AbaTheory.isClosed(Collection<Assumption<T>> assumptions)	A set of assumptions is closed iff it equals its closure.
boolean	AbaTheory.isConflictFree(Collection<Assumption<T>> ext)	Checks whether a set of arguments is conflict-free.
void	AbaTheory.setAssumptions(Collection<Assumption<T>> assumptions)	Set Assumption

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

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

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 Assumption

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