Package net.sf.tweety.arg.dung.syntax
Class Argument
- java.lang.Object
-
- net.sf.tweety.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 givenname
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 argumentSignature
getSignature()
Returns the signature of the language of this formula.int
hashCode()
void
setName(java.lang.String name)
sets the name of the argumentjava.lang.String
toString()
-
-
-
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 interfaceFormula
- Returns:
- the signature of the language of this formula.
-
equals
public boolean equals(java.lang.Object o)
- Overrides:
equals
in classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.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 interfaceDungEntity
- Returns:
- the logical formula of this entity.
-
getLdoArgument
public LdoArgument getLdoArgument()
-
-