Uses of Class
org.tweetyproject.logics.rdl.semantics.Extension

Packages that use Extension

Package	Description
org.tweetyproject.logics.rdl.reasoner
org.tweetyproject.logics.rdl.semantics

Uses of Extension in org.tweetyproject.logics.rdl.reasoner

Methods in org.tweetyproject.logics.rdl.reasoner that return Extension

Modifier and Type	Method	Description
Extension	SimpleDefaultReasoner.getModel(DefaultTheory bbase)

Methods in org.tweetyproject.logics.rdl.reasoner that return types with arguments of type Extension

Modifier and Type	Method	Description
Collection<Extension>	SimpleDefaultReasoner.getModels(DefaultTheory bbase)

Uses of Extension in org.tweetyproject.logics.rdl.semantics

Methods in org.tweetyproject.logics.rdl.semantics that return types with arguments of type Extension

Modifier and Type	Method	Description
Collection<Extension>	DefaultProcessTree.getExtensions()	Return all extensions (possible sets of facts)