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()	Returns the associated claim label.

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

Modifier and Type	Method	Description
HashSet<Claim>	ClaimBasedTheory.getClaims()	Returns all claims in this theory.
Set<Claim>	ClaimBasedTheory.getClaims(Extension<DungTheory> ext)	Returns 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)	Sets the associated claim label.

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)	Sets the claims of this theory.

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

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

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

Modifier	Constructor	Description
	ClaimBasedTheory(HashMap<ClaimArgument,Claim> claimMap)	Creates a new claim-based theory from a claim map.