Uses of Package
com.semedy.reasoner.api.edb
Packages that use com.semedy.reasoner.api.edb
Package
Description
-
Classes in com.semedy.reasoner.api.edb used by com.semedy.reasoner.api.builtinClassDescriptionA relation is a container for a set of tuples with same arity.
Tuples are tuples of longs, which are links into the symbol table.a buffer for tuples -
Classes in com.semedy.reasoner.api.edb used by com.semedy.reasoner.api.coreClassDescriptionExtensional database is a container for all facts.provides filter for predicates and their properties for exporting and importing OO-logic facts Predicates must be given in the form predicate|aritya buffer for tuples
-
Classes in com.semedy.reasoner.api.edb used by com.semedy.reasoner.api.edbClassDescriptionA relation is a set of tuples, i.e. a container for facts.Extensional database is a container for all facts.provides filter for predicates and their properties for exporting and importing OO-logic facts Predicates must be given in the form predicate|aritySecondary index for a relation of tuplesabstract class for loading factsHandles loading facts from different sources like json, csv, nquads.A relation is a container for a set of tuples with same arity.
Tuples are tuples of longs, which are links into the symbol table.Controls the creation of relations of tuples inside the extensional databaselistens for changes in a relationEnumerator which allows to select matching tuples for the current element.methods for a secondary sorted index for tuplesadditional methods for sorted indicesa buffer for tuplesa comparator for tuple buffersiterator for tuples -
Classes in com.semedy.reasoner.api.edb used by com.semedy.reasoner.api.reasoningClassDescriptionExtensional database is a container for all facts.a buffer for tuplesiterator for tuples
-
Classes in com.semedy.reasoner.api.edb used by com.semedy.reasoner.api.rewriter
-
Classes in com.semedy.reasoner.api.edb used by com.semedy.reasoner.api.symboltable
-
Classes in com.semedy.reasoner.api.edb used by com.semedy.reasoner.app
-
Classes in com.semedy.reasoner.api.edb used by com.semedy.reasoner.builtin
-
Classes in com.semedy.reasoner.api.edb used by com.semedy.reasoner.builtin.action
-
Classes in com.semedy.reasoner.api.edb used by com.semedy.reasoner.builtin.directfilter
-
Classes in com.semedy.reasoner.api.edb used by com.semedy.reasoner.builtin.filter
-
Classes in com.semedy.reasoner.api.edb used by com.semedy.reasoner.builtin.relational
-
Classes in com.semedy.reasoner.api.edb used by com.semedy.reasoner.coreClassDescriptionA relation is a set of tuples, i.e. a container for facts.Extensional database is a container for all facts.a buffer for tuplesiterator for tuples
-
Classes in com.semedy.reasoner.api.edb used by com.semedy.reasoner.edb
-
Classes in com.semedy.reasoner.api.edb used by com.semedy.reasoner.edb.loaderClassDescriptionExtensional database is a container for all facts.abstract class for loading facts
-
Classes in com.semedy.reasoner.api.edb used by com.semedy.reasoner.edb.persistentstoreClassDescriptionA relation is a set of tuples, i.e. a container for facts.Secondary index for a relation of tuplesA relation is a container for a set of tuples with same arity.
Tuples are tuples of longs, which are links into the symbol table.listens for changes in a relationEnumerator which allows to select matching tuples for the current element.methods for a secondary sorted index for tuplesadditional methods for sorted indicesa buffer for tuplesa comparator for tuple buffersiterator for tuples -
Classes in com.semedy.reasoner.api.edb used by com.semedy.reasoner.edb.persistentstore.bplustree
-
Classes in com.semedy.reasoner.api.edb used by com.semedy.reasoner.edb.ramstoreClassDescriptionA relation is a set of tuples, i.e. a container for facts.Secondary index for a relation of tuplesA relation is a container for a set of tuples with same arity.
Tuples are tuples of longs, which are links into the symbol table.listens for changes in a relationEnumerator which allows to select matching tuples for the current element.methods for a secondary sorted index for tuplesadditional methods for sorted indicesa buffer for tuplesa comparator for tuple buffersiterator for tuples -
Classes in com.semedy.reasoner.api.edb used by com.semedy.reasoner.edb.zdbClassDescriptionExtensional database is a container for all facts.a buffer for tuples
-
Classes in com.semedy.reasoner.api.edb used by com.semedy.reasoner.exercises
-
Classes in com.semedy.reasoner.api.edb used by com.semedy.reasoner.inductionClassDescriptionA relation is a container for a set of tuples with same arity.
Tuples are tuples of longs, which are links into the symbol table. -
Classes in com.semedy.reasoner.api.edb used by com.semedy.reasoner.parser.oologic
-
Classes in com.semedy.reasoner.api.edb used by com.semedy.reasoner.reasoningClassDescriptionA relation is a set of tuples, i.e. a container for facts.Extensional database is a container for all facts.a buffer for tuplesiterator for tuples
-
Classes in com.semedy.reasoner.api.edb used by com.semedy.reasoner.reasoning.monitorClassDescriptionA relation is a set of tuples, i.e. a container for facts.Extensional database is a container for all facts.Secondary index for a relation of tuplesA relation is a container for a set of tuples with same arity.
Tuples are tuples of longs, which are links into the symbol table.listens for changes in a relationmethods for a secondary sorted index for tuplesa buffer for tuplesiterator for tuples -
Classes in com.semedy.reasoner.api.edb used by com.semedy.reasoner.reasoning.processesClassDescriptionA relation is a set of tuples, i.e. a container for facts.Extensional database is a container for all facts.Secondary index for a relation of tuplesA relation is a container for a set of tuples with same arity.
Tuples are tuples of longs, which are links into the symbol table.listens for changes in a relationEnumerator which allows to select matching tuples for the current element.methods for a secondary sorted index for tuplesadditional methods for sorted indicesa buffer for tuplesiterator for tuples -
Classes in com.semedy.reasoner.api.edb used by com.semedy.reasoner.rewriter
-
Classes in com.semedy.reasoner.api.edb used by com.semedy.reasoner.rewriter.sips
-
Classes in com.semedy.reasoner.api.edb used by com.semedy.reasoner.symboltable
-
Classes in com.semedy.reasoner.api.edb used by com.semedy.reasoner.symboltable.index
-
Classes in com.semedy.reasoner.api.edb used by com.semedy.reasoner.utilsClassDescriptionExtensional database is a container for all facts.a buffer for tuples