Uses of Class
org.tweetyproject.logics.rdl.semantics.Extension
Packages that use Extension
-
Uses of Extension in org.tweetyproject.logics.rdl.reasoner
Classes in org.tweetyproject.logics.rdl.reasoner that implement interfaces with type arguments of type ExtensionModifier and TypeClassDescriptionclass
Implements a naive reasoner for default logic based on exhaustive application of defaults in process trees.Methods in org.tweetyproject.logics.rdl.reasoner that return ExtensionMethods in org.tweetyproject.logics.rdl.reasoner that return types with arguments of type Extension -
Uses of Extension in org.tweetyproject.logics.rdl.semantics
Methods in org.tweetyproject.logics.rdl.semantics that return types with arguments of type ExtensionModifier and TypeMethodDescriptionDefaultProcessTree.getExtensions()
Return all extensions (possible sets of facts)