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

Packages that use Assumption

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

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

Fields in net.sf.tweety.arg.aba 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 that return types with arguments of type Assumption

Modifier and Type	Method and Description
java.util.Collection<java.util.Collection<Assumption<T>>>	StableReasoner.computeExtensions()
java.util.Collection<java.util.Collection<Assumption<T>>>	GroundedReasoner.computeExtensions()
abstract java.util.Collection<java.util.Collection<Assumption<T>>>	GeneralABAReasoner.computeExtensions()
java.util.Collection<java.util.Collection<Assumption<T>>>	CompleteReasoner.computeExtensions()
(package private) java.util.Collection<java.util.Collection<Assumption<T>>>	ABATheory.getAllAdmissbleExtensions()
(package private) java.util.Collection<java.util.Collection<Assumption<T>>>	ABATheory.getAllConflictFreeExtensions()
(package private) java.util.Collection<java.util.Collection<Assumption<T>>>	ABATheory.getAllExtensions()
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
java.util.Collection<java.util.Collection<Assumption<?>>>	FlatABAReasoner.getExtensions()

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

Modifier and Type	Method and Description
(package private) boolean	ABATheory.defends(java.util.Collection<Assumption<T>> defor, Assumption<T> defed)

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

Modifier and Type	Method and Description
(package private) boolean	ABATheory.attacks(java.util.Collection<Assumption<T>> atters, java.util.Collection<Assumption<T>> atteds)
(package private) boolean	ABATheory.attacks(java.util.Collection<Assumption<T>> atters, java.util.Collection<Assumption<T>> atteds)
(package private) boolean	ABATheory.defends(java.util.Collection<Assumption<T>> defor, Assumption<T> defed)
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
(package private) boolean	ABATheory.isAdmissible(java.util.Collection<Assumption<T>> ext)
boolean	ABATheory.isClosed(java.util.Collection<Assumption<T>> assumptions) A set of assumptions is closed iff it equals its closure
(package private) boolean	ABATheory.isConflictFree(java.util.Collection<Assumption<T>> ext)
void	ABATheory.setAssumptions(java.util.Collection<Assumption<T>> assumptions)

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
(package private) java.util.Map<Assumption<T>,java.util.Set<Assumption<T>>>	AttackRelation.atteds
(package private) java.util.Map<Assumption<T>,java.util.Set<Assumption<T>>>	AttackRelation.atteds
(package private) java.util.Map<Assumption<T>,java.util.Set<Assumption<T>>>	AttackRelation.atters
(package private) java.util.Map<Assumption<T>,java.util.Set<Assumption<T>>>	AttackRelation.atters

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

Modifier and Type	Method and Description
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)