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

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

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