public class Compilation extends DefaultGraph<CompilationNode>
IGNORE_SELFLOOPS, INVERT_SELFLOOPS, REMOVE_SELFLOOPS
Constructor and Description |
---|
Compilation(DeductiveKnowledgeBase kb)
Creates the compilation of the given knowledge base.
|
Modifier and Type | Method and Description |
---|---|
private java.util.Set<CompilationNode> |
firstLevel(DeductiveArgument arg)
This method returns the compilation nodes that can be used
to construct undercuts to the given argument.
|
ArgumentTree |
getArgumentTree(DeductiveArgument arg)
Returns the argument tree for the given argument.
|
private void |
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.
|
add, add, areAdjacent, contains, existsDirectedPath, existsDirectedPath, getAdjancyMatrix, getChildren, getComplementGraph, getEdge, getEdges, getNeighbors, getNodes, getNumberOfNodes, getParents, getRestriction, getStronglyConnectedComponents, getStronglyConnectedComponents, getSubgraphs, getSubgraphs, hasSelfLoops, isWeightedGraph, iterator, toString
public Compilation(DeductiveKnowledgeBase kb)
kb
- some deductive knowledge base.public ArgumentTree getArgumentTree(DeductiveArgument arg)
arg
- some deductive argument.private java.util.Set<CompilationNode> firstLevel(DeductiveArgument arg)
arg
- some argument.private void subcuts(DeductiveArgumentNode argNode, java.util.Set<CompilationNode> remainingNodes, CompilationNode current, java.util.Set<PropositionalFormula> currentSupport, ArgumentTree argTree)
arg
- an argument.remainingNodes
- the non-visited nodes in the compilation.current
- the current node.currentSupport
- the union of the supports of the current path.argTree
- the argument tree.