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

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 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>> defor, Assumption<T> defed)	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>> atters, Collection<Assumption<T>> atteds)
boolean	ABATheory.defends(Collection<Assumption<T>> defor, Assumption<T> defed)	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)