net.sf.tweety.arg.deductive.semantics

Class DeductiveArgumentNode

java.lang.Object

net.sf.tweety.arg.deductive.semantics.DeductiveArgument

net.sf.tweety.arg.deductive.semantics.DeductiveArgumentNode

All Implemented Interfaces:

Node

public class DeductiveArgumentNode
extends DeductiveArgument
implements Node

Extends a deductive argument by a unique identifier. This allows the same deductive argument to appear in an argument tree multiple times. *

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private static int	counter A global counter for IDs.
private int	id The id of this node.

Constructor Summary

Constructors

Constructor and Description
DeductiveArgumentNode(java.util.Collection<? extends PropositionalFormula> support, PropositionalFormula claim) Creates a new deductive argument node with the given support and claim (a unique ID is generated)
DeductiveArgumentNode(DeductiveArgument arg) Creates a new deductive argument node from the given deductive argument (a unique ID is generated)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
int	hashCode()

Methods inherited from class net.sf.tweety.arg.deductive.semantics.DeductiveArgument

getClaim, getSupport, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

counter

private static int counter

A global counter for IDs.

id

private int id

The id of this node.

Constructor Detail

DeductiveArgumentNode

public DeductiveArgumentNode(java.util.Collection<? extends PropositionalFormula> support,
                             PropositionalFormula claim)

Creates a new deductive argument node with the given support and claim (a unique ID is generated)

Parameters:

support - a set of formulas.

claim - a formula.

DeductiveArgumentNode

public DeductiveArgumentNode(DeductiveArgument arg)

Creates a new deductive argument node from the given deductive argument (a unique ID is generated)

Parameters:

arg - a deductive argument.

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class DeductiveArgument

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class DeductiveArgument