Class Argument

java.lang.Object
org.tweetyproject.arg.dung.syntax.Argument
All Implemented Interfaces:
DungEntity, Formula, Node
Direct Known Subclasses:
ArgumentStructure, AspicArgument, BArgument, BasicArgument, ClaimArgument, Deduction, SimplePlLogicArgument

public class Argument extends Object implements DungEntity, Node
This class models an argument used by Dung's abstract argumentation theory and is just described by its name.
Author:
Matthias Thimm
  • Constructor Details

    • Argument

      public Argument(String name)
      Default constructor that assigns the given name to this argument
      Parameters:
      name - the name of the argument
  • Method Details

    • getName

      public String getName()
      returns the name of the argument
      Returns:
      the name of the argument
    • setName

      public void setName(String name)
      sets the name of the argument
      Parameters:
      name - the name of the argument
    • getSignature

      public Signature getSignature()
      Description copied from interface: Formula
      Returns the signature of the language of this formula.
      Specified by:
      getSignature in interface Formula
      Returns:
      the signature of the language of this formula.
    • equals

      public boolean equals(Object o)
      Overrides:
      equals in class Object
    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object
    • toString

      public String toString()
      Overrides:
      toString in class Object
    • getLdoFormula

      public LdoFormula getLdoFormula()
      Description copied from interface: DungEntity
      Returns a logical representation of this entity in LDO (Logic of dialectical outcomes, cf. [Hunter, Thimm, 2015])
      Specified by:
      getLdoFormula in interface DungEntity
      Returns:
      the logical formula of this entity.
    • getLdoArgument

      public LdoArgument getLdoArgument()
      Returns:
      getLdoArgument