Claim

java.lang.Object

org.tweetyproject.arg.dung.syntax.Claim

public class Claim extends Object

Represents a claim for an argument.

Author:: Sebastian Franke

Constructor Summary

Constructors

Constructor

Description

Claim(String claim)

Creates a new claim.
Method Summary

Modifier and Type

Method

Description

String

getClaim()

Returns the claim label.

String

toString()

Returns the claim label.

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

Constructor Details
- Claim
  
  public Claim(String claim)
  
  Creates a new claim.
  
  Parameters:
  
  claim - the claim name
Method Details
- getClaim
  
  public String getClaim()
  
  Returns the claim label.
  
  Returns:
  
  the claim label
- toString
  
  public String toString()
  
  Returns the claim label.
  
  Overrides:
  
  toString in class Object
  
  Returns:
  
  the claim label