ClaimArgument

java.lang.Object

org.tweetyproject.arg.dung.syntax.Argument

org.tweetyproject.arg.dung.syntax.ClaimArgument

All Implemented Interfaces:: Comparable<Argument>, DungEntity, Formula, Node

public class ClaimArgument extends Argument

an argument with a claim

Author:: Sebastian Franke

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()

reurn string representation

Methods inherited from class org.tweetyproject.arg.dung.syntax.Argument
compareTo, 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)
  
  Parameters:
  
  name - name of argument
  
  claim - the claim
Method Details
- getClaim
  
  public Claim getClaim()
  
  Returns:
  
  the claim
- setClaim
  
  public void setClaim(Claim c)
  
  Parameters:
  
  c - the claim
- toString
  
  public String toString()
  
  reurn string representation
  
  Overrides:
  
  toString in class Argument