Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

M

MagicSetRewriter - Class in com.semedy.reasoner.rewriter

reorders rules and adorns rules that they are top-down evaluable

MagicSetRewriter() - Constructor for class com.semedy.reasoner.rewriter.MagicSetRewriter

MagicSetsRewriterTest - Class in com.semedy.reasoner.rewriter

MagicSetsRewriterTest() - Constructor for class com.semedy.reasoner.rewriter.MagicSetsRewriterTest

main(String[]) - Static method in class com.semedy.reasoner.app.AccessIndex

main(String[]) - Static method in class com.semedy.reasoner.app.Backup

main(String[]) - Static method in class com.semedy.reasoner.app.ChangeRangeInRaw

main(String[]) - Static method in class com.semedy.reasoner.app.CheckSanity

main(String[]) - Static method in class com.semedy.reasoner.app.DefragmentEDB

main(String[]) - Static method in class com.semedy.reasoner.app.DeleteDataTool

main(String[]) - Static method in class com.semedy.reasoner.app.ExcelToJson

main(String[]) - Static method in class com.semedy.reasoner.app.ExcelToRaw

main(String[]) - Static method in class com.semedy.reasoner.app.ExportJson

main(String[]) - Static method in class com.semedy.reasoner.app.ExportRaw

main(String[]) - Static method in class com.semedy.reasoner.app.ExportTool

main(String[]) - Static method in class com.semedy.reasoner.app.FilterProperty

main(String[]) - Static method in class com.semedy.reasoner.app.Foil

main(String[]) - Static method in class com.semedy.reasoner.app.Import

main(String[]) - Static method in class com.semedy.reasoner.app.IncrementalReplay

main(String[]) - Static method in class com.semedy.reasoner.app.Index

main(String[]) - Static method in class com.semedy.reasoner.app.Interpreter

main(String[]) - Static method in class com.semedy.reasoner.app.JsonLoadNCheck

main(String[]) - Static method in class com.semedy.reasoner.app.JsonProblemMinimizer

main(String[]) - Static method in class com.semedy.reasoner.app.Load

main(String[]) - Static method in class com.semedy.reasoner.app.MultiInterpreter

main(String[]) - Static method in class com.semedy.reasoner.app.OpenSingleRelation

main(String[]) - Static method in class com.semedy.reasoner.app.ParseJson

main(String[]) - Static method in class com.semedy.reasoner.app.ProblemMinimizer

main(String[]) - Static method in class com.semedy.reasoner.app.QueryRegister

main(String[]) - Static method in class com.semedy.reasoner.app.QueryRunner

main(String[]) - Static method in class com.semedy.reasoner.app.ReIndex

main(String[]) - Static method in class com.semedy.reasoner.app.RepairEDB

main(String[]) - Static method in class com.semedy.reasoner.app.ReplayLogFile

main(String[]) - Static method in class com.semedy.reasoner.app.ReplayLogFileKevin

main(String[]) - Static method in class com.semedy.reasoner.app.RestoreBackup

main(String[]) - Static method in class com.semedy.reasoner.app.RestoreFromIndex

main(String[]) - Static method in class com.semedy.reasoner.app.RunThroughValue

main(String[]) - Static method in class com.semedy.reasoner.app.ShowRelation

main(String[]) - Static method in class com.semedy.reasoner.app.StressTest

main(String[]) - Static method in class com.semedy.reasoner.app.TripleGenerator

main(String[]) - Static method in class com.semedy.reasoner.builtin.action.BlinkGpioExample

main(String[]) - Static method in class com.semedy.reasoner.builtin.filter.BlinkGpioExample

main(String[]) - Static method in class com.semedy.reasoner.core.JsonUtils

main(String[]) - Static method in class com.semedy.reasoner.exercises.Exercise1

main(String[]) - Static method in class com.semedy.reasoner.exercises.Exercise16

main(String[]) - Static method in class com.semedy.reasoner.exercises.Exercise17

main(String[]) - Static method in class com.semedy.reasoner.exercises.Exercise18

main(String[]) - Static method in class com.semedy.reasoner.exercises.Exercise19

main(String[]) - Static method in class com.semedy.reasoner.exercises.Exercise1a

main(String[]) - Static method in class com.semedy.reasoner.exercises.Exercise2

main(String[]) - Static method in class com.semedy.reasoner.exercises.Exercise20

main(String[]) - Static method in class com.semedy.reasoner.exercises.Exercise21

main(String[]) - Static method in class com.semedy.reasoner.exercises.Exercise5

main(String[]) - Static method in class com.semedy.reasoner.exercises.Exercise6

main(String[]) - Static method in class com.semedy.reasoner.exercises.Exercise8

main(String[]) - Static method in class com.semedy.reasoner.utils.AccessBlock

main(String[]) - Static method in class com.semedy.reasoner.utils.MemoryMappedFileInJava

main(String[]) - Static method in class com.semedy.reasoner.utils.PartsPermutationGenerator

main(String[]) - Static method in class com.semedy.reasoner.utils.RuleBodyPermutation

main(String[]) - Static method in class com.semedy.reasoner.utils.TestGZIP

main(String[]) - Static method in class com.semedy.reasoner.utils.TestINGAPI

MainMemoryBaseRelation - Class in com.semedy.reasoner.edb.ramstore

MainMemoryBaseRelation(int, TupleStore) - Constructor for class com.semedy.reasoner.edb.ramstore.MainMemoryBaseRelation

MainMemoryBaseRelation(int, TupleStore, boolean, ReasoningMonitor) - Constructor for class com.semedy.reasoner.edb.ramstore.MainMemoryBaseRelation

MainMemoryBaseRelation(int, TupleStore, boolean, ReasoningMonitor, boolean) - Constructor for class com.semedy.reasoner.edb.ramstore.MainMemoryBaseRelation

MainMemoryBaseRelation(int, TupleStore, MainMemoryIndex, ReasoningMonitor) - Constructor for class com.semedy.reasoner.edb.ramstore.MainMemoryBaseRelation

MainMemoryIndex - Interface in com.semedy.reasoner.edb.ramstore

MainMemoryRelation - Class in com.semedy.reasoner.edb.ramstore

MainMemoryRelation(MainMemoryBaseRelation) - Constructor for class com.semedy.reasoner.edb.ramstore.MainMemoryRelation

MainMemoryRelation(String, int, boolean, long[]) - Constructor for class com.semedy.reasoner.edb.ramstore.MainMemoryRelation

MainMemoryRelationTest - Class in com.semedy.reasoner.edb

Test for MainMemoryRelation and attached index structures.

MainMemoryRelationTest() - Constructor for class com.semedy.reasoner.edb.MainMemoryRelationTest

MainMemorySubRelation - Class in com.semedy.reasoner.edb.ramstore

A sub relation of a persistent relation defined by a filter.

MainMemorySubRelation(List<Relation>, long[], int, long[]) - Constructor for class com.semedy.reasoner.edb.ramstore.MainMemorySubRelation

map(Mapping) - Method in class com.semedy.reasoner.reasoning.processes.Mapping

concatenate two mappings first m, then this

Mapping - Class in com.semedy.reasoner.reasoning.processes

Describes a mapping of reasoning relation arguments map[i] maps argument position i to another one

Mapping(int) - Constructor for class com.semedy.reasoner.reasoning.processes.Mapping

identity mapping

Mapping(int[]) - Constructor for class com.semedy.reasoner.reasoning.processes.Mapping

given is mapping

Mapping(int[], int[], int) - Constructor for class com.semedy.reasoner.reasoning.processes.Mapping

compute mapping

markAsDirectEncoded(long) - Static method in class com.semedy.reasoner.symboltable.encoder.DirectEncoder

markTransactionsAsCanceled() - Method in class com.semedy.reasoner.core.TransactionManager

cancel all active transactions

MASK - Static variable in class com.semedy.reasoner.symboltable.Flags

MASKTHREAD - Static variable in class com.semedy.reasoner.symboltable.Flags

massData1() - Method in class com.semedy.reasoner.edb.TestPersistentTuples

massData2() - Method in class com.semedy.reasoner.edb.TestPersistentTuples

MassTest - Class in com.semedy.reasoner.reasoning

MassTest() - Constructor for class com.semedy.reasoner.reasoning.MassTest

match(Core, String, List<JSONObject>) - Static method in class com.semedy.reasoner.symboltable.TestSymboltableDeuba

match(Core, JSONObject) - Method in class com.semedy.reasoner.customer.deuba.DeubaPerformanceTest

match(Core, JSONObject) - Method in class com.semedy.reasoner.customer.deuba.DeubaTest

match(Core, JSONObject) - Method in class com.semedy.reasoner.customer.deuba.DeubaTestSmall

match(Object, long, long[]) - Method in interface com.semedy.reasoner.api.symboltable.SymbolTable

Matches a non-ground structure (function or literal) with a ground structure (function or literal).

match(Object, long, long[]) - Method in class com.semedy.reasoner.reasoning.processes.ReasoningSymbolTableNotInternalize

match(Object, long, long[]) - Method in class com.semedy.reasoner.symboltable.AbstractSymbolTable

Match returns for each variable v in t the symbol s v has to be substituted by.

match(Object, long, long[]) - Method in interface com.semedy.reasoner.symboltable.ReasoningSymbolTable

Match returns for each variable v in t the symbol s v has to be substituted by.

match(JSONObject, JSONObject) - Static method in class com.semedy.reasoner.core.JsonUtils

Match - Class in com.semedy.reasoner.reasoning.processes

Match(int, InterruptFlag, VariableHandler, Literal, SymbolTable, ReasoningMonitor) - Constructor for class com.semedy.reasoner.reasoning.processes.Match

match1(Core) - Method in class com.semedy.reasoner.customer.deuba.DeubaPerformanceTest

match2(Core, JSONObject) - Method in class com.semedy.reasoner.customer.deuba.DeubaTest

match2(Core, JSONObject) - Method in class com.semedy.reasoner.customer.deuba.DeubaTestSmall

match3(Core) - Method in class com.semedy.reasoner.customer.deuba.DeubaTest

match3(Core) - Method in class com.semedy.reasoner.customer.deuba.DeubaTestSmall

match4(Core) - Method in class com.semedy.reasoner.customer.deuba.DeubaTest

match4(Core) - Method in class com.semedy.reasoner.customer.deuba.DeubaTestSmall

matchArguments(Object, long[], long[]) - Method in interface com.semedy.reasoner.api.symboltable.SymbolTable

Match returns for each variable v in t the symbol s v has to be substituted
by to match the arguments of t with ground term arguments.

matchArguments(Object, long[], long[]) - Method in class com.semedy.reasoner.reasoning.processes.ReasoningSymbolTableNotInternalize

matchArguments(Object, long[], long[]) - Method in class com.semedy.reasoner.symboltable.AbstractSymbolTable

Match returns for each variable v in t the symbol s v has to be substituted by to match the arguments of t with groundtermarguments The result provides for variable position p the code of s

matchArguments(Object, long[], long[]) - Method in interface com.semedy.reasoner.symboltable.ReasoningSymbolTable

Match returns for each variable v in t the symbol s v has to be substituted by to match the arguments of t
with groundtermarguments.

matchArguments(Object, TupleBuffer, long[]) - Method in interface com.semedy.reasoner.api.symboltable.SymbolTable

matchArguments(Object, TupleBuffer, long[]) - Method in class com.semedy.reasoner.reasoning.processes.ReasoningSymbolTableNotInternalize

matchArguments(Object, TupleBuffer, long[]) - Method in class com.semedy.reasoner.symboltable.AbstractSymbolTable

MatchBuiltin - Class in com.semedy.reasoner.builtin.functional

MatchBuiltin() - Constructor for class com.semedy.reasoner.builtin.functional.MatchBuiltin

matchNreplace(JSONObject, JSONObject) - Static method in class com.semedy.reasoner.core.JsonUtils

MaterializationReceiver - Class in com.semedy.reasoner.api.core

Stores results during materialization in edb
Single events are buffered until reasoning is finished.

MaterializationReceiver(InterruptFlag, Literal, DeductiveDatabase, ExtensionalDB, SymbolTable, SymbolTable) - Constructor for class com.semedy.reasoner.api.core.MaterializationReceiver

MaterializationTest - Class in com.semedy.reasoner.core

MaterializationTest() - Constructor for class com.semedy.reasoner.core.MaterializationTest

MaterializedQueryHandler - Class in com.semedy.reasoner.core

Handles the names of materialized queries

MaterializedQueryHandler() - Constructor for class com.semedy.reasoner.core.MaterializedQueryHandler

materializeQueries(InterruptFlag, String, ReasoningMonitor) - Method in class com.semedy.reasoner.api.core.DeductiveDatabase

Materialize queries.

materializeQueries(InterruptFlag, String, ReasoningMonitor) - Method in class com.semedy.reasoner.api.core.StreamReasoningDB

Materialize queries.

materializeQueries(InterruptFlag, String, ReasoningMonitor, Configuration, Properties) - Method in class com.semedy.reasoner.api.core.DeductiveDatabase

Materialize queries.

materializeQueries(InterruptFlag, String, ReasoningMonitor, Configuration, Properties) - Method in class com.semedy.reasoner.api.core.StreamReasoningDB

Materialize queries.

materializeQueries(InterruptFlag, List<Rule>, ReasoningMonitor) - Method in class com.semedy.reasoner.api.core.DeductiveDatabase

Materialize queries.

materializeQueries(InterruptFlag, List<Rule>, ReasoningMonitor) - Method in class com.semedy.reasoner.api.core.StreamReasoningDB

Materialize queries.

materializeQueries(InterruptFlag, List<Rule>, ReasoningMonitor, Configuration, Properties) - Method in class com.semedy.reasoner.api.core.DeductiveDatabase

Materialize queries.

materializeQueries(InterruptFlag, List<Rule>, ReasoningMonitor, Configuration, Properties) - Method in class com.semedy.reasoner.api.core.StreamReasoningDB

Materialize queries.

Math2 - Class in com.semedy.reasoner.builtin.functional

Math2() - Constructor for class com.semedy.reasoner.builtin.functional.Math2

Math2Methods - Class in com.semedy.reasoner.builtin.functional

Math2Methods() - Constructor for class com.semedy.reasoner.builtin.functional.Math2Methods

MathExpression - Class in com.semedy.reasoner.builtin.functional

MathExpression() - Constructor for class com.semedy.reasoner.builtin.functional.MathExpression

MathMethods - Class in com.semedy.reasoner.builtin.functional

MathMethods() - Constructor for class com.semedy.reasoner.builtin.functional.MathMethods

Max - Class in com.semedy.reasoner.builtin.aggregation

max builtin with first argument is the grouping argument

Max() - Constructor for class com.semedy.reasoner.builtin.aggregation.Max

maxDepth() - Method in class com.semedy.reasoner.api.logic.Function

max depth of function

MAXTERMSPERGIG - Variable in class com.semedy.reasoner.api.core.Configuration

mayContainDuplicates() - Method in interface com.semedy.reasoner.api.edb.BaseRelation

Might there be duplicates?

mayContainDuplicates() - Method in class com.semedy.reasoner.edb.persistentstore.PersistentRelation

mayContainDuplicates() - Method in class com.semedy.reasoner.edb.ramstore.MainMemoryBaseRelation

mayContainDuplicates() - Method in class com.semedy.reasoner.edb.ramstore.MainMemoryRelation

mayContainDuplicates() - Method in class com.semedy.reasoner.reasoning.monitor.RelationAdapter

mayContainDuplicates() - Method in class com.semedy.reasoner.reasoning.processes.CrossProductBaseRelation

mayContainDuplicates() - Method in class com.semedy.reasoner.reasoning.processes.OneToOneBaseRelation

MayelyQueryTest() - Method in class com.semedy.reasoner.core.JsonIntentTest

Mean - Class in com.semedy.reasoner.builtin.aggregation

mean builtin with first argument is the grouping argument

Mean - Class in com.semedy.reasoner.exercises

An example for a built-in (aggregation) which computes the mean value out of the input values

Mean() - Constructor for class com.semedy.reasoner.builtin.aggregation.Mean

Mean() - Constructor for class com.semedy.reasoner.exercises.Mean

MemoryMappedFileInJava - Class in com.semedy.reasoner.utils

MemoryMappedFileInJava() - Constructor for class com.semedy.reasoner.utils.MemoryMappedFileInJava

MemoryMonitor - Interface in com.semedy.reasoner.api.reasoning

Monitors the memory consumption during reasoning.

merge(Configuration) - Method in class com.semedy.reasoner.api.core.Configuration

Merge the current configuration with the configuration c.

merge(List<File>, ExternalSortConsumer, boolean, boolean) - Static method in class com.semedy.reasoner.edb.zdb.ExternalSort

merge(List<File>, ExternalSortConsumer, boolean, boolean) - Static method in class com.semedy.reasoner.edb.zdb.ExternalSortRawTuples

merge(List<File>, ExternalSortConsumer, boolean, boolean) - Static method in class com.semedy.reasoner.edb.zdb.ExternalSortTuples

mergeBytesZipped(List<File>, ExternalSortConsumer, boolean, boolean) - Static method in class com.semedy.reasoner.edb.zdb.ExternalSortRawTuples

mergeFiles(List<File>, int, ExternalSortTuplesConsumer) - Static method in class com.semedy.reasoner.edb.persistentstore.ExternalSortTuples

merge a list of sorted tuple files (uncompressed) to one sorted file

mergeFilesZipped(List<File>, int, ExternalSortTuplesConsumer) - Static method in class com.semedy.reasoner.edb.persistentstore.ExternalSortTuples

merge a list of sorted tuple files compressed to one sorted file

mergeIndexed(List<TupleFile>, int, int[], ExternalSortTuplesConsumer) - Static method in class com.semedy.reasoner.edb.persistentstore.ExternalSortTuples

merge several sorted files along indexed positions

mergeInfoIntoRule(Rule) - Method in class com.semedy.reasoner.api.logic.Rule

Move all info like variable renamings, rule text to new rule.

mergeLeafRight() - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.BPlusNodeLongTest2

mergeNSubtract(List<TupleFile>, int, TupleFile, ExternalSortTuplesConsumer) - Static method in class com.semedy.reasoner.edb.persistentstore.ExternalSortTuples

merge a list of sorted files to one sorted file and subtract the tuples in toSubtract

mergeTupleFiles(List<TupleFile>, int, ExternalSortTuplesConsumer) - Static method in class com.semedy.reasoner.edb.persistentstore.ExternalSortTuples

merge a list of sorted tuple files (compressed) to one sorted file

mergeZipped(List<File>, ExternalSortConsumer, boolean, boolean) - Static method in class com.semedy.reasoner.edb.zdb.ExternalSortRawTuples

meronym() - Method in class com.semedy.reasoner.core.openrule.wordnet

MethodsContainer - Class in com.semedy.reasoner.builtin.functional

MethodsContainer() - Constructor for class com.semedy.reasoner.builtin.functional.MethodsContainer

Min - Class in com.semedy.reasoner.builtin.aggregation

count builtin with first argument is the grouping argument

Min() - Constructor for class com.semedy.reasoner.builtin.aggregation.Min

minus(Object, Object) - Static method in class com.semedy.reasoner.builtin.functional.Math2

minus(Object, Object) - Static method in class com.semedy.reasoner.builtin.functional.MathExpression

MIXED - Enum constant in enum com.semedy.reasoner.api.core.Configuration.StorageType

MixedModeBugTest - Class in com.semedy.reasoner.core

MixedModeBugTest() - Constructor for class com.semedy.reasoner.core.MixedModeBugTest

MixedRelation - Class in com.semedy.reasoner.edb.ramstore

Represents a mixed relation, i.e. tuples are stored persistent and in main memory.

MixedRelation(PersistentRelation) - Constructor for class com.semedy.reasoner.edb.ramstore.MixedRelation

MixedRelation(String, int, long[]) - Constructor for class com.semedy.reasoner.edb.ramstore.MixedRelation

MixedRelationTest - Class in com.semedy.reasoner.edb

Test for MainMemoryRelation and attached index structures.

MixedRelationTest() - Constructor for class com.semedy.reasoner.edb.MixedRelationTest

mod(Object, Object) - Static method in class com.semedy.reasoner.builtin.functional.Math2

mod(Object, Object) - Static method in class com.semedy.reasoner.builtin.functional.MathExpression

modeNames - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarLexer

modeNames - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarLexer

MODIFY - Enum constant in enum com.semedy.reasoner.api.edb.RelationListener.ActionType

module() - Method in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser.AtomContext

module() - Method in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

ModuleContext(ParserRuleContext, int) - Constructor for class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser.ModuleContext

ModuleRewriter - Class in com.semedy.reasoner.rewriter

This rewriter adds a module to the rules

ModuleRewriter() - Constructor for class com.semedy.reasoner.rewriter.ModuleRewriter

mondial - Class in com.semedy.reasoner.core.openrule

mondial() - Constructor for class com.semedy.reasoner.core.openrule.mondial

mondial() - Method in class com.semedy.reasoner.core.openrule.mondial

MoneyTransfer - Class in com.semedy.reasoner.builtin.action

retrieve information from another reasoner

MoneyTransfer() - Constructor for class com.semedy.reasoner.builtin.action.MoneyTransfer

Month - Class in com.semedy.reasoner.builtin.functional

Month() - Constructor for class com.semedy.reasoner.builtin.functional.Month

mult(Object, Object) - Static method in class com.semedy.reasoner.builtin.functional.Math2

mult(Object, Object) - Static method in class com.semedy.reasoner.builtin.functional.MathExpression

MultiInterpreter - Class in com.semedy.reasoner.app

a small command line interpreter loads files during launch.

MultiInterpreter() - Constructor for class com.semedy.reasoner.app.MultiInterpreter

MultiResultEnumerator - Class in com.semedy.reasoner.app

MultiResultEnumerator(ResultEnumerator[]) - Constructor for class com.semedy.reasoner.app.MultiResultEnumerator

MultiSymbolTable - Class in com.semedy.reasoner.symboltable

MultiSymbolTable(int, ExternalDataTypeProvider, boolean, String, String, int, boolean, boolean) - Constructor for class com.semedy.reasoner.symboltable.MultiSymbolTable

MultiValueMap<K,V> - Interface in com.semedy.reasoner.builtin.aggregation

Replacement for Spring MultiValueMap

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form