Uses of Class
org.tweetyproject.arg.dung.semantics.ClaimSet

Packages that use ClaimSet

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

Uses of ClaimSet in org.tweetyproject.arg.dung.examples

Method parameters in org.tweetyproject.arg.dung.examples with type arguments of type ClaimSet

Modifier and Type	Method	Description
static Set<Set<String>>	ClaimBasedReasonersTest.print(Set<ClaimSet> input)

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

Methods in org.tweetyproject.arg.dung.reasoner that return ClaimSet

Modifier and Type	Method	Description
abstract ClaimSet	AbstractClaimBasedReasoner.getModel(ClaimBasedTheory bbase)	get one claim sets that fulfill the given semantics
ClaimSet	SimpleClInheritedReasoner.getModel(ClaimBasedTheory bbase)	calculates one claim set for a given framework
ClaimSet	SimpleClNaiveReasoner.getModel(ClaimBasedTheory bbase)
ClaimSet	SimpleClPreferredReaonser.getModel(ClaimBasedTheory bbase)
ClaimSet	SimpleClSemistableReasoner.getModel(ClaimBasedTheory bbase)
ClaimSet	SimpleClStableReasoner.getModel(ClaimBasedTheory bbase)
ClaimSet	SimpleClStagedReasoner.getModel(ClaimBasedTheory bbase)

Methods in org.tweetyproject.arg.dung.reasoner that return types with arguments of type ClaimSet

Modifier and Type	Method	Description
abstract Set<ClaimSet>	AbstractClaimBasedReasoner.getModels(ClaimBasedTheory bbase)	get all claim sets that fulfill the given semantics
Set<ClaimSet>	SimpleClInheritedReasoner.getModels(ClaimBasedTheory bbase)	calculates all claim sets for a given framework
Set<ClaimSet>	SimpleClNaiveReasoner.getModels(ClaimBasedTheory bbase)
Set<ClaimSet>	SimpleClPreferredReaonser.getModels(ClaimBasedTheory bbase)
Set<ClaimSet>	SimpleClSemistableReasoner.getModels(ClaimBasedTheory bbase)
Set<ClaimSet>	SimpleClStableReasoner.getModels(ClaimBasedTheory bbase)
Set<ClaimSet>	SimpleClStagedReasoner.getModels(ClaimBasedTheory bbase)

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

Methods in org.tweetyproject.arg.dung.semantics that return ClaimSet

Modifier and Type	Method	Description
ClaimSet	ClaimSet.getArgumentsOfStatus(ArgumentStatus status)

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

Modifier and Type	Method	Description
int	ClaimSet.compareTo(ClaimSet o)

Constructors in org.tweetyproject.arg.dung.semantics with parameters of type ClaimSet

Modifier	Constructor	Description
	ClaimSet(ClaimSet c)	constructor

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

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

Modifier and Type	Method	Description
ClaimSet	ClaimBasedTheory.defeats(Extension ext)