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 and 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 and Description
Collection<Extension>	SimpleDefaultReasoner.getModels(DefaultTheory bbase)

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

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

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