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

Packages that use ClaimArgument

Package	Description
org.tweetyproject.arg.dung.reasoner
org.tweetyproject.arg.dung.semantics
org.tweetyproject.arg.dung.syntax

Uses of ClaimArgument in org.tweetyproject.arg.dung.reasoner

Classes in org.tweetyproject.arg.dung.reasoner that implement interfaces with type arguments of type ClaimArgument

Modifier and Type	Class	Description
class	AbstractClaimBasedReasoner	Ancestor class for all claim based reasoner.
class	AbstractClaimBasedReasoner	Ancestor class for all claim based reasoner.

Methods in org.tweetyproject.arg.dung.reasoner with parameters of type ClaimArgument

Modifier and Type	Method	Description
Boolean	AbstractClaimBasedReasoner.query(ClaimBasedTheory beliefbase, ClaimArgument formula)

Uses of ClaimArgument in org.tweetyproject.arg.dung.semantics

Subclasses with type arguments of type ClaimArgument in org.tweetyproject.arg.dung.semantics

Modifier and Type	Class	Description
class	ClaimSet	a set of claims

Classes in org.tweetyproject.arg.dung.semantics that implement interfaces with type arguments of type ClaimArgument

Modifier and Type	Class	Description
class	ClaimSet	a set of claims

Methods in org.tweetyproject.arg.dung.semantics that return types with arguments of type ClaimArgument

Modifier and Type	Method	Description
HashSet<ClaimArgument>	ClaimSet.getClaims()
Iterator<ClaimArgument>	ClaimSet.iterator()

Methods in org.tweetyproject.arg.dung.semantics with parameters of type ClaimArgument

Modifier and Type	Method	Description
boolean	ClaimSet.add(ClaimArgument o)
boolean	ClaimSet.satisfies(ClaimArgument formula)

Method parameters in org.tweetyproject.arg.dung.semantics with type arguments of type ClaimArgument

Modifier and Type	Method	Description
boolean	ClaimSet.addAll(Collection<? extends ClaimArgument> c)

Constructor parameters in org.tweetyproject.arg.dung.semantics with type arguments of type ClaimArgument

Modifier	Constructor	Description
	ClaimSet(Set<ClaimArgument> c)	constructor

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

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

Modifier and Type	Method	Description
void	ClaimBasedTheory.add(ClaimArgument arg)

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

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