Uses of Class
net.sf.tweety.logics.rdl.semantics.Extension

Packages that use Extension

Package	Description
net.sf.tweety.logics.rdl.reasoner
net.sf.tweety.logics.rdl.semantics

Uses of Extension in net.sf.tweety.logics.rdl.reasoner

Methods in net.sf.tweety.logics.rdl.reasoner that return Extension

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

Methods in net.sf.tweety.logics.rdl.reasoner that return types with arguments of type Extension

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

Uses of Extension in net.sf.tweety.logics.rdl.semantics

Fields in net.sf.tweety.logics.rdl.semantics with type parameters of type Extension

Modifier and Type	Field	Description
(package private) java.util.Collection<Extension>	DefaultProcessTree.extensions	all extensions of the process tree

Methods in net.sf.tweety.logics.rdl.semantics that return types with arguments of type Extension

Modifier and Type	Method	Description
java.util.Collection<Extension>	DefaultProcessTree.getExtensions()