net.sf.tweety.arg.deductive.semantics

Class ArgumentTree

java.lang.Object

net.sf.tweety.graphs.DefaultGraph<DeductiveArgumentNode>

net.sf.tweety.arg.deductive.semantics.ArgumentTree

All Implemented Interfaces:

Iterable<DeductiveArgumentNode>, net.sf.tweety.graphs.Graph<DeductiveArgumentNode>

public class ArgumentTree
extends net.sf.tweety.graphs.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 net.sf.tweety.graphs.Graph

IGNORE_SELFLOOPS, INVERT_SELFLOOPS, REMOVE_SELFLOOPS

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class net.sf.tweety.graphs.DefaultGraph

add, add, areAdjacent, contains, existsDirectedPath, existsDirectedPath, getAdjancyMatrix, getChildren, getComplementGraph, 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

ArgumentTree

public ArgumentTree(DeductiveArgumentNode root)

Creates an empty argument tree for the given root node.

Parameters:

root - the root node.

Method Detail

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.