Class ArgumentTree

java.lang.Object
org.tweetyproject.graphs.DefaultGraph<DeductiveArgumentNode>
org.tweetyproject.arg.deductive.semantics.ArgumentTree
All Implemented Interfaces:
Iterable<DeductiveArgumentNode>, GeneralGraph<DeductiveArgumentNode>, Graph<DeductiveArgumentNode>

public class ArgumentTree extends DefaultGraph<DeductiveArgumentNode>
Instances of this class represent argument trees in the sense of Definition 6.1 in

Philippe Besnard and Anthony Hunter. A logic-based theory of deductive arguments. In Artificial Intelligence, 128(1-2):203-235, 2001.
Author:
Matthias Thimm
  • Constructor Details

    • ArgumentTree

      public ArgumentTree(DeductiveArgumentNode root)
      Creates an empty argument tree for the given root node.
      Parameters:
      root - the root node.
  • Method Details

    • getRoot

      public DeductiveArgumentNode getRoot()
      Returns the root node of this tree.
      Returns:
      the root node of this tree.
    • prettyPrint

      public String prettyPrint()
      Returns a string representation of this argument tree.
      Returns:
      a string representation of this argument tree.