Argument

java.lang.Object

org.tweetyproject.arg.dung.syntax.Argument

All Implemented Interfaces:: DungEntity, Formula, Node

Direct Known Subclasses:: ArgumentStructure, AspicArgument, BArgument, BasicArgument, 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 Summary

Constructors

Constructor

Description

Argument(String name)

Default constructor that assigns the given name to this argument
Method Summary

Modifier and Type

Method

Description

boolean

equals(Object o)

LdoArgument

getLdoArgument()

LdoFormula

getLdoFormula()

Returns a logical representation of this entity in LDO (Logic of dialectical outcomes, cf.

String

getName()

returns the name of the argument

Signature

getSignature()

Returns the signature of the language of this formula.

int

hashCode()

void

setName(String name)

sets the name of the argument

String

toString()

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

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