Compilation (Tweety (Deductive Argumentation Library) 1.16 API)

java.lang.Object
- net.sf.tweety.graphs.DefaultGraph<CompilationNode>
- - net.sf.tweety.arg.deductive.semantics.Compilation

All Implemented Interfaces:

Iterable<CompilationNode>, net.sf.tweety.graphs.Graph<CompilationNode>
```
public class Compilation
extends net.sf.tweety.graphs.DefaultGraph<CompilationNode>
```
Instances of this class are compilations in the sense of Definition 8 in

Philippe Besnard and Anthony Hunter. Knowledgebase Compilation for Efficient Logical Argumentation. In Proceedings of the 10th International Conference on Knowledge Representation (KR'06), pages 123-133, AAAI Press, 2006.

A compilation of a knowledge base is a graph where the nodes are the minimal inconsistent subsets of the knowledge base and the edges connect sets that have a non-empty intersection.

Author:

Matthias Thimm

- Field Summary
  - Fields inherited from interface net.sf.tweety.graphs.Graph
    IGNORE_SELFLOOPS, INVERT_SELFLOOPS, REMOVE_SELFLOOPS
- Constructor Summary
  
  Constructors
  Constructor Description
  
  Compilation(DeductiveKnowledgeBase kb)
  Creates the compilation of the given knowledge base.
- Method Summary
  
  Modifier and Type Method Description
  
  ArgumentTree getArgumentTree(DeductiveArgument arg)
  Returns the argument tree for the given argument.
  - Methods inherited from class net.sf.tweety.graphs.DefaultGraph
    add, add, areAdjacent, contains, containsBackEdge, containsCycle, existsDirectedPath, existsDirectedPath, getAdjacencyMatrix, getChildren, getComplementGraph, getComponents, getCyclesExcludingSelfLoops, getCyclesIncludingSelfLoops, getEdge, getEdges, getNeighbors, getNodes, getNumberOfNodes, getParents, getRestriction, getStronglyConnectedComponents, getStronglyConnectedComponents, getSubgraphs, getSubgraphs, hasSelfLoops, isWeightedGraph, iterator, toString
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
  - Methods inherited from interface java.lang.Iterable
    forEach, spliterator

- Constructor Detail
  - Compilation
```
public Compilation(DeductiveKnowledgeBase kb)
```
    Creates the compilation of the given knowledge base.
    
    Parameters:
    
    kb - some deductive knowledge base.
- Method Detail
  - getArgumentTree
```
public ArgumentTree getArgumentTree(DeductiveArgument arg)
```
    Returns the argument tree for the given argument.
    
    Parameters:
    
    arg - some deductive argument.
    
    Returns:
    
    the argument tree for the given argument.