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
`java.lang.Boolean`	FlatAbaReasoner.`query(AbaTheory<T> beliefbase, Assumption<T> query, InferenceMode inferenceMode)`
`java.lang.Boolean`	GeneralAbaReasoner.`query(AbaTheory<T> beliefbase, Assumption<T> query)`
`java.lang.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 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
`java.util.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 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(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)`	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(java.util.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(Term<?> v, Term<?> t)`

Methods in net.sf.tweety.arg.aba.syntax that return types with arguments of type Assumption
Modifier and Type	Method	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	Description
`boolean`	AbaTheory.`defends(java.util.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(java.util.Collection<Assumption<T>> attackers, java.util.Collection<Assumption<T>> attackeds)`	Checks whether a set of assumptions attacks another set of assumptions.
`boolean`	AbaTheory.`defends(java.util.Collection<Assumption<T>> defendor, Assumption<T> defended)`	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)`