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