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()	Returns the underlying claim arguments.
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)	Adds a claim argument to this theory.

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

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