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 and Description
java.lang.Boolean	GeneralABAReasoner.query(ABATheory<T> beliefbase, Assumption<T> query)
java.lang.Boolean	FlatABAReasoner.query(ABATheory<T> beliefbase, Assumption<T> query, int inferenceType)
java.lang.Boolean	GeneralABAReasoner.query(ABATheory<T> beliefbase, Assumption<T> query, int inferenceType) Queries the given ABA theory for the given assumption using the given inference type.

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

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

Modifier and Type	Field and Description
private java.util.Collection<Assumption<T>>	AbaExtension.assumptions the assumptions

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

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

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

Modifier and Type	Method and 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 and Description
boolean	AbaExtension.addAll(java.util.Collection<? extends Assumption<T>> c)
static <T extends Formula> java.util.Collection<ABAAttack<T>>	ABAAttack.allAttacks(java.util.Collection<Assumption<T>> from, java.util.Collection<Assumption<T>> to, ABATheory<T> abat)
static <T extends Formula> java.util.Collection<ABAAttack<T>>	ABAAttack.allAttacks(java.util.Collection<Assumption<T>> from, java.util.Collection<Assumption<T>> to, ABATheory<T> abat)

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

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

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

Fields in net.sf.tweety.arg.aba.syntax with type parameters of type Assumption

Modifier and Type	Field and Description
private java.util.Collection<Assumption<T>>	ABATheory.assumptions The assumptions used in this theory wehen no explicit set of assumptions is given

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

Modifier and Type	Method and Description
java.util.Collection<java.util.Collection<Assumption<T>>>	ABATheory.getAllConflictFreeExtensions() Computes all context-free extensions
java.util.Collection<java.util.Collection<Assumption<T>>>	ABATheory.getAllExtensions() Computes all possible extensions
java.util.Collection<Assumption<T>>	ABATheory.getAssumptions()
java.util.Collection<Assumption<T>>	ABATheory.getClosure(java.util.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 and Description
boolean	ABATheory.defends(java.util.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 and Description
boolean	ABATheory.attacks(java.util.Collection<Assumption<T>> atters, java.util.Collection<Assumption<T>> atteds)
boolean	ABATheory.attacks(java.util.Collection<Assumption<T>> atters, java.util.Collection<Assumption<T>> atteds)
boolean	ABATheory.defends(java.util.Collection<Assumption<T>> defor, Assumption<T> defed) Checks whether a set of arguments defends an argument
java.util.Collection<Deduction<T>>	ABATheory.getAllDeductions(java.util.Collection<Assumption<T>> assumptions)
java.util.Collection<Assumption<T>>	ABATheory.getClosure(java.util.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(java.util.Collection<Assumption<T>> assumptions) A set of assumptions is closed iff it equals its closure
boolean	ABATheory.isConflictFree(java.util.Collection<Assumption<T>> ext) Checks whether a set of arguments is conflict-free
void	ABATheory.setAssumptions(java.util.Collection<Assumption<T>> assumptions)