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

Packages that use ClaimBasedTheory

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

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

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

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)
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)
Boolean	AbstractClaimBasedReasoner.query(ClaimBasedTheory beliefbase, ClaimArgument formula)

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

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

Modifier and Type	Method	Description
boolean	ClaimSet.satisfies(ClaimBasedTheory beliefBase)