Package org.tweetyproject.arg.dung.syntax

Class 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

Represents an argument with an associated claim.

Author:

Sebastian Franke

Constructor Summary

Constructors

Constructor	Description
ClaimArgument(String name, Claim claim)	Creates a new claim argument.

Method Summary

Modifier and Type	Method	Description
Claim	getClaim()	Returns the associated claim label.
void	setClaim(Claim c)	Sets the associated claim label.
String	toString()	Returns the 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)

Creates a new claim argument.

Parameters:

name - name of the argument

claim - the claim

Method Details

getClaim

public Claim getClaim()

Returns the associated claim label.

Returns:

the associated claim label

setClaim

public void setClaim(Claim c)

Sets the associated claim label.

Parameters:

c - the claim

toString

public String toString()

Returns the string representation.

Overrides:

toString in class Argument

Returns:

the string representation