Uses of Class
net.sf.tweety.arg.deductive.semantics.CompilationNode
-
Packages that use CompilationNode Package Description net.sf.tweety.arg.deductive.semantics -
-
Uses of CompilationNode in net.sf.tweety.arg.deductive.semantics
Methods in net.sf.tweety.arg.deductive.semantics that return types with arguments of type CompilationNode Modifier and Type Method Description private java.util.Set<CompilationNode>
Compilation. firstLevel(DeductiveArgument arg)
This method returns the compilation nodes that can be used to construct undercuts to the given argument.Methods in net.sf.tweety.arg.deductive.semantics with parameters of type CompilationNode Modifier and Type Method Description private void
Compilation. subcuts(DeductiveArgumentNode argNode, java.util.Set<CompilationNode> remainingNodes, CompilationNode current, java.util.Set<PlFormula> currentSupport, ArgumentTree argTree)
This method recursively builds up the argument tree from the given argument.Method parameters in net.sf.tweety.arg.deductive.semantics with type arguments of type CompilationNode Modifier and Type Method Description private void
Compilation. subcuts(DeductiveArgumentNode argNode, java.util.Set<CompilationNode> remainingNodes, CompilationNode current, java.util.Set<PlFormula> currentSupport, ArgumentTree argTree)
This method recursively builds up the argument tree from the given argument.
-