Uses of Class
net.sf.tweety.arg.delp.semantics.ArgumentCompletion
-
Packages that use ArgumentCompletion Package Description net.sf.tweety.arg.delp.semantics -
-
Uses of ArgumentCompletion in net.sf.tweety.arg.delp.semantics
Methods in net.sf.tweety.arg.delp.semantics that return types with arguments of type ArgumentCompletion Modifier and Type Method Description static java.util.Set<ArgumentCompletion>
ArgumentCompletion. getCompletions(DelpArgument argument, DefeasibleLogicProgram delp)
This static method computes all argument completions for the given parameterargument using the strict rules from the parameterdelp Methods in net.sf.tweety.arg.delp.semantics with parameters of type ArgumentCompletion Modifier and Type Method Description private java.util.Set<java.util.Set<FolFormula>>
GeneralizedSpecificity. ntActSets(ArgumentCompletion argument)
Computes the activation sets of the given argument completion.Method parameters in net.sf.tweety.arg.delp.semantics with type arguments of type ArgumentCompletion Modifier and Type Method Description private java.util.Set<java.util.Set<FolFormula>>
GeneralizedSpecificity. ntActSets(java.util.Set<ArgumentCompletion> argumentCompletions)
Computes the activation sets of all given argument completions
-