Package org.tweetyproject.arg.deductive.semantics

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

Field Summary

Fields inherited from interface org.tweetyproject.graphs.Graph

IGNORE_SELFLOOPS, INVERT_SELFLOOPS, REMOVE_SELFLOOPS

Constructor Summary

Constructors

Constructor	Description
ArgumentTree(DeductiveArgumentNode root)	Creates an empty argument tree for the given root node.

Method Summary

Modifier and Type	Method	Description
DeductiveArgumentNode	getRoot()	Returns the root node of this tree.
String	prettyPrint()	Returns a string representation of this argument tree.

Methods inherited from class org.tweetyproject.graphs.DefaultGraph

add, add, add, areAdjacent, contains, containsBackEdge, containsCycle, existsDirectedPath, existsDirectedPath, getAdjacencyMatrix, getChildren, getComplementGraph, getComponents, getCyclesExcludingSelfLoops, getCyclesIncludingSelfLoops, getEdge, getEdges, getInducedSubgraphs, getNeighbors, getNodes, getNumberOfEdges, getNumberOfNodes, getParents, getRestriction, getStronglyConnectedComponents, getStronglyConnectedComponents, getSubgraphs, getSubgraphs, hasSelfLoops, isBipartite, isWeightedGraph, iterator, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

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.