Uses of Class
org.tweetyproject.arg.dung.syntax.Claim

Packages that use Claim

Package	Description
org.tweetyproject.arg.dung.syntax

Uses of Claim in org.tweetyproject.arg.dung.syntax

Methods in org.tweetyproject.arg.dung.syntax that return Claim

Modifier and Type	Method	Description
Claim	ClaimArgument.getClaim()

Methods in org.tweetyproject.arg.dung.syntax that return types with arguments of type Claim

Modifier and Type	Method	Description
HashSet<Claim>	ClaimBasedTheory.getClaims()
Set<Claim>	ClaimBasedTheory.getClaims(Extension<DungTheory> ext)	get all claims of a given extension

Methods in org.tweetyproject.arg.dung.syntax with parameters of type Claim

Modifier and Type	Method	Description
void	ClaimArgument.setClaim(Claim c)

Method parameters in org.tweetyproject.arg.dung.syntax with type arguments of type Claim

Modifier and Type	Method	Description
void	ClaimBasedTheory.setClaims(HashSet<Claim> claims)

Constructors in org.tweetyproject.arg.dung.syntax with parameters of type Claim

Modifier	Constructor	Description
	ClaimArgument(String name, Claim claim)

Constructor parameters in org.tweetyproject.arg.dung.syntax with type arguments of type Claim

Modifier	Constructor	Description
	ClaimBasedTheory(HashMap<ClaimArgument,Claim> claimMap)	Default constructor; initializes empty sets of arguments and attacks