DeductiveArgumentNode

java.lang.Object

org.tweetyproject.arg.deductive.semantics.DeductiveArgument

org.tweetyproject.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

Constructor Summary

Constructors

Constructor

Description

DeductiveArgumentNode(Collection<? extends PlFormula> support, PlFormula 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

Description

boolean

equals(Object obj)

int

hashCode()

Methods inherited from class org.tweetyproject.arg.deductive.semantics.DeductiveArgument
getClaim, getSupport, toString

Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait

Constructor Details
- DeductiveArgumentNode
  
  public DeductiveArgumentNode(Collection<? extends PlFormula> support, PlFormula 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 Details
- hashCode
  
  public int hashCode()
  
  Overrides:
  
  hashCode in class DeductiveArgument
- equals
  
  public boolean equals(Object obj)
  
  Overrides:
  
  equals in class DeductiveArgument