Package org.tweetyproject.arg.dung.syntax

Class Argument

java.lang.Object
org.tweetyproject.arg.dung.syntax.Argument
All Implemented Interfaces:
Comparable<Argument>, DungEntity, Formula, Node
Direct Known Subclasses:
Argument, ArgumentStructure, AspicArgument, BasicArgument, CausalArgument, ClaimArgument, CoalitionArgument, Deduction, SimplePlLogicArgument
public class Argument extends Object implements DungEntity, Node, Comparable<Argument>
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 the corresponding LDO argument.
      Returns:
      the corresponding LDO argument

    • compareTo

      public int compareTo(Argument o)
      Specified by:
      compareTo in interface Comparable<Argument>