Uses of Class
net.sf.tweety.arg.aba.syntax.Assumption

Packages that use Assumption

Package	Description
net.sf.tweety.arg.aba.reasoner
net.sf.tweety.arg.aba.semantics
net.sf.tweety.arg.aba.syntax

Uses of Assumption in net.sf.tweety.arg.aba.reasoner

Methods in net.sf.tweety.arg.aba.reasoner with parameters of type Assumption

Modifier and Type	Method	Description
Boolean	FlatAbaReasoner.query(AbaTheory<T> beliefbase, Assumption<T> query, net.sf.tweety.commons.InferenceMode inferenceMode)
Boolean	GeneralAbaReasoner.query(AbaTheory<T> beliefbase, Assumption<T> query)
Boolean	GeneralAbaReasoner.query(AbaTheory<T> beliefbase, Assumption<T> query, net.sf.tweety.commons.InferenceMode inferenceMode)	Queries the given ABA theory for the given assumption using the given inference type.

Uses of Assumption in net.sf.tweety.arg.aba.semantics

Methods in net.sf.tweety.arg.aba.semantics that return types with arguments of type Assumption

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

Methods in net.sf.tweety.arg.aba.semantics with parameters of type Assumption

Modifier and Type	Method	Description
boolean	AbaExtension.add(Assumption<T> e)
static <T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable> boolean	AbaAttack.attacks(Deduction<T> attacker, Assumption<T> attacked)
boolean	AbaExtension.satisfies(Assumption<T> formula)

Method parameters in net.sf.tweety.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 net.sf.tweety.commons.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 net.sf.tweety.arg.aba.semantics with type arguments of type Assumption

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

Uses of Assumption in net.sf.tweety.arg.aba.syntax

Methods in net.sf.tweety.arg.aba.syntax that return Assumption

Modifier and Type	Method	Description
Assumption<T>	Assumption.substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)

Methods in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.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)