Package org.tweetyproject.arg.dung.syntax

Class Claim

java.lang.Object

org.tweetyproject.arg.dung.syntax.Claim

public class Claim
extends Object

a claim for an argument

Author:

Sebastian Franke

Constructor Summary

Constructors

Constructor	Description
Claim(String claim)

Method Summary

Modifier and Type	Method	Description
String	getClaim()
String	toString()	return the name

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

Claim

public Claim(String claim)

Parameters:

claim - the name

Method Details

getClaim

public String getClaim()

Returns:

the claim

toString

public String toString()

return the name

Overrides:

toString in class Object