public class Argument extends Object implements DungEntity, net.sf.tweety.graphs.Node
| Constructor and Description |
|---|
Argument(String name)
Default constructor that assigns the given
|
| 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() |
public Argument(String name)
name - the name of the argumentpublic String getName()
public void setName(String name)
name - the name of the argumentpublic net.sf.tweety.commons.Signature getSignature()
getSignature in interface net.sf.tweety.commons.Formulapublic LdoFormula getLdoFormula()
DungEntitygetLdoFormula in interface DungEntitypublic LdoArgument getLdoArgument()
Copyright © 2018. All rights reserved.