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	NaiveDefaultReasoner.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
java.util.Collection<Extension>	NaiveDefaultReasoner.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 and 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 and Description
java.util.Collection<Extension>	DefaultProcessTree.getExtensions()