Package 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
-
-
Method Summary
Modifier and Type Method Description booleanequals(Object o)LdoArgumentgetLdoArgument()LdoFormulagetLdoFormula()Returns a logical representation of this entity in LDO (Logic of dialectical outcomes, cf.StringgetName()returns the name of the argumentnet.sf.tweety.commons.SignaturegetSignature()inthashCode()voidsetName(String name)sets the name of the argumentStringtoString()
-
-
-
Constructor Detail
-
Argument
public Argument(String name)
Default constructor that assigns the givennameto 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:
getSignaturein interfacenet.sf.tweety.commons.Formula
-
getLdoFormula
public LdoFormula getLdoFormula()
Description copied from interface:DungEntityReturns a logical representation of this entity in LDO (Logic of dialectical outcomes, cf. [Hunter, Thimm, 2015])- Specified by:
getLdoFormulain interfaceDungEntity- Returns:
- the logical formula of this entity.
-
getLdoArgument
public LdoArgument getLdoArgument()
-
-