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:

ArgumentStructure, AspicArgument, BArgument, BasicArgument, ClaimArgument, Deduction, InducedArgument, 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 Summary

Constructors

Constructor	Description
Argument(String name)	Default constructor that assigns the given name to this argument

Method Summary

Modifier and Type	Method	Description
int	compareTo(Argument o)
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

compareTo

public int compareTo(Argument o)

Specified by:

compareTo in interface Comparable<Argument>