Package | Description |
---|---|
net.sf.tweety.arg.deductive.semantics |
Modifier and Type | Method and 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.
|
Modifier and Type | Method and Description |
---|---|
private void |
Compilation.subcuts(DeductiveArgumentNode argNode,
java.util.Set<CompilationNode> remainingNodes,
CompilationNode current,
java.util.Set<PropositionalFormula> currentSupport,
ArgumentTree argTree)
This method recursively builds up the argument tree from
the given argument.
|
Modifier and Type | Method and Description |
---|---|
private void |
Compilation.subcuts(DeductiveArgumentNode argNode,
java.util.Set<CompilationNode> remainingNodes,
CompilationNode current,
java.util.Set<PropositionalFormula> currentSupport,
ArgumentTree argTree)
This method recursively builds up the argument tree from
the given argument.
|