Package org.tweetyproject.arg.dung.syntax

Class 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 java.lang.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(java.lang.String name)	Default constructor that assigns the given name to this argument

Method Summary

Modifier and Type	Method	Description
boolean	equals(java.lang.Object o)
LdoArgument	getLdoArgument()
LdoFormula	getLdoFormula()	Returns a logical representation of this entity in LDO (Logic of dialectical outcomes, cf.
java.lang.String	getName()	returns the name of the argument
Signature	getSignature()	Returns the signature of the language of this formula.
int	hashCode()
void	setName(java.lang.String name)	sets the name of the argument
java.lang.String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Argument

public Argument(java.lang.String name)

Default constructor that assigns the given name to this argument

Parameters:

name - the name of the argument

Method Detail

getName

public java.lang.String getName()

returns the name of the argument

Returns:

the name of the argument

setName

public void setName(java.lang.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(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.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()