Class 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 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