ClaimArgument

java.lang.Object

org.tweetyproject.arg.dung.syntax.Argument

org.tweetyproject.arg.dung.syntax.ClaimArgument

All Implemented Interfaces:: DungEntity, Formula, Node

public class ClaimArgument extends Argument

Constructor Summary

Constructors

Constructor

Description

ClaimArgument(String name, Claim claim)
Method Summary

Modifier and Type

Method

Description

Claim

getClaim()

void

setClaim(Claim c)

String

toString()

Methods inherited from class org.tweetyproject.arg.dung.syntax.Argument
equals, getLdoArgument, getLdoFormula, getName, getSignature, hashCode, setName

Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait

Constructor Details
- ClaimArgument
  
  public ClaimArgument(String name, Claim claim)
Method Details
- getClaim
  
  public Claim getClaim()
- setClaim
  
  public void setClaim(Claim c)
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class Argument