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 ExtensionSimpleDefaultReasoner. 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
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()
-