net.sf.tweety.arg.dung.syntax

Class Argument

java.lang.Object

net.sf.tweety.arg.dung.syntax.Argument

All Implemented Interfaces:

DungEntity, net.sf.tweety.commons.Formula, net.sf.tweety.graphs.Node

public class Argument
extends Object
implements DungEntity, net.sf.tweety.graphs.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 and Description
Argument(String name) Default constructor that assigns the given name to this argument

Method Summary

Modifier and Type	Method and 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
net.sf.tweety.commons.Signature	getSignature()
int	hashCode()
void	setName(String name) sets the name of the argument
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Argument

public Argument(String name)

Default constructor that assigns the given name to this argument

Parameters:

name - the name of the argument

Method Detail

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 net.sf.tweety.commons.Signature getSignature()

Specified by:

getSignature in interface net.sf.tweety.commons.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()