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

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)
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()
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)
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)