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
Fields in net.sf.tweety.arg.aba.semantics with type parameters of type Assumption Modifier and Type Field Description private java.util.Collection<Assumption<T>>
AbaExtension. assumptions
the assumptionsMethods 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)
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)
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
Fields in net.sf.tweety.arg.aba.syntax with type parameters of type Assumption Modifier and Type Field Description private java.util.Collection<Assumption<T>>
ABATheory. assumptions
The assumptions used in this theory wehen no explicit set of assumptions is givenMethods 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 extensionsjava.util.Collection<java.util.Collection<Assumption<T>>>
ABATheory. getAllExtensions()
Computes all possible extensionsjava.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 rulesMethods 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>> defor, Assumption<T> defed)
Checks whether a set of arguments defends an argumentMethod 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>> 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 argumentjava.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 rulesboolean
ABATheory. isClosed(java.util.Collection<Assumption<T>> assumptions)
A set of assumptions is closed iff it equals its closureboolean
ABATheory. isConflictFree(java.util.Collection<Assumption<T>> ext)
Checks whether a set of arguments is conflict-freevoid
ABATheory. setAssumptions(java.util.Collection<Assumption<T>> assumptions)
-