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

R

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

RAMStoreException - Exception Class in com.semedy.reasoner.edb.ramstore

RAMStoreException(String) - Constructor for exception class com.semedy.reasoner.edb.ramstore.RAMStoreException

RandomAccessFilePaged - Class in com.semedy.reasoner.edb.persistentstore

A ramdom acess file paged.

RandomAccessFilePaged(String, String, int) - Constructor for class com.semedy.reasoner.edb.persistentstore.RandomAccessFilePaged

creates a new file with given filepath and access rights "r" for read,
"rw" for read and write

RandomAccessFileRAF - Class in com.semedy.reasoner.edb.persistentstore

A ramdom acess file paged.

RandomAccessFileRAF(RandomAccessFile) - Constructor for class com.semedy.reasoner.edb.persistentstore.RandomAccessFileRAF

RandomAccessFileRAF(String, String) - Constructor for class com.semedy.reasoner.edb.persistentstore.RandomAccessFileRAF

creates a new file with given filepath and access rights "r" for read,
"rw" for read and write

RandomAccessToFile - Interface in com.semedy.reasoner.edb.persistentstore

random access file abstraction

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

creates an integer number randomly

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

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

creates a period randomly

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

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

creates an integer number randomly

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

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

creates an integer number randomly

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

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

Simple builtin to switch a gpio pin on raspberry pi briefly on

RaspiGpioOut - Class in com.semedy.reasoner.builtin.filter

Simple builtin to switch a gpio pin on raspberry pi briefly on

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

RaspiGpioOut() - Constructor for class com.semedy.reasoner.builtin.filter.RaspiGpioOut

RawLoader - Class in com.semedy.reasoner.edb.loader

RawLoader() - Constructor for class com.semedy.reasoner.edb.loader.RawLoader

RDFLoader - Class in com.semedy.reasoner.edb.loader

Loader for RDF supporting different formats

RDFLoader() - Constructor for class com.semedy.reasoner.edb.loader.RDFLoader

read() - Method in class com.semedy.reasoner.edb.persistentstore.InputStreamBuffered

read() - Method in class com.semedy.reasoner.utils.LZ4InputStream

Read a byte from buffer.

read(byte[]) - Method in class com.semedy.reasoner.edb.persistentstore.InputStreamBuffered

read(byte[]) - Method in class com.semedy.reasoner.edb.persistentstore.RandomAccessFilePaged

Reads a byte array from current position.

read(byte[]) - Method in class com.semedy.reasoner.edb.persistentstore.RandomAccessFileRAF

Reads a byte array from current position.

read(byte[]) - Method in interface com.semedy.reasoner.edb.persistentstore.RandomAccessToFile

Reads a byte array from current position.

read(byte[], int, int) - Method in class com.semedy.reasoner.edb.persistentstore.InputStreamBuffered

read(byte[], int, int) - Method in class com.semedy.reasoner.edb.persistentstore.RandomAccessFilePaged

Reads len bytes from current file position to array from offset position on.

read(byte[], int, int) - Method in class com.semedy.reasoner.edb.persistentstore.RandomAccessFileRAF

Reads len bytes from current file position to array from offset position on.

read(byte[], int, int) - Method in interface com.semedy.reasoner.edb.persistentstore.RandomAccessToFile

read(int, boolean) - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.BplusDataFile

Reads data at index from file and returns it

read(long) - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.BlockedDataFile

Reads data at position from file and returns them

read(long) - Method in interface com.semedy.reasoner.edb.persistentstore.bplustree.DataFile

Reads data at offset from file and returns it

read(long) - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.DataFileImp

Reads data at offset from file and returns it

read(long) - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.JsonFile

read(long) - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.SimpleDataFile

readAccessBegin(Set<Integer>, boolean) - Method in class com.semedy.reasoner.reasoning.processes.BufferedStore

readAccessBegin(Set<Integer>, boolean) - Method in class com.semedy.reasoner.reasoning.processes.EmptyStore

readAccessBegin(Set<Integer>, boolean) - Method in interface com.semedy.reasoner.reasoning.processes.Store

Reading of the store by an operator starts.

readAccessBegin(Set<Integer>, boolean) - Method in class com.semedy.reasoner.reasoning.processes.SynchronizedBufferedStore

readAccessBegin(Set<Integer>, boolean) - Method in class com.semedy.reasoner.reasoning.processes.UnbufferedStore

readAccessEnd(ProcessImp, Set<Integer>, boolean, boolean) - Method in class com.semedy.reasoner.reasoning.processes.BufferedStore

readAccessEnd(ProcessImp, Set<Integer>, boolean, boolean) - Method in class com.semedy.reasoner.reasoning.processes.EmptyStore

readAccessEnd(ProcessImp, Set<Integer>, boolean, boolean) - Method in interface com.semedy.reasoner.reasoning.processes.Store

Reading of a store ends.

readAccessEnd(ProcessImp, Set<Integer>, boolean, boolean) - Method in class com.semedy.reasoner.reasoning.processes.SynchronizedBufferedStore

readAccessEnd(ProcessImp, Set<Integer>, boolean, boolean) - Method in class com.semedy.reasoner.reasoning.processes.UnbufferedStore

readBinaryFromBackup(String) - Method in interface com.semedy.reasoner.api.edb.Relation

read tuples from a binary backup file

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

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

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

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

read binary tuple file into empty!

readBlank() - Method in class com.semedy.reasoner.parser.oologic.Tokenizer

readByte() - Method in class com.semedy.reasoner.edb.persistentstore.RandomAccessFilePaged

readByte() - Method in class com.semedy.reasoner.edb.persistentstore.RandomAccessFileRAF

readByte() - Method in interface com.semedy.reasoner.edb.persistentstore.RandomAccessToFile

Reads a byte from current position.

readComment() - Method in class com.semedy.reasoner.parser.oologic.Tokenizer

readFile(BufferedReader) - Static method in class com.semedy.reasoner.utils.FileUtils

readFile(File) - Static method in class com.semedy.reasoner.utils.FileUtils

readFile(String) - Static method in class com.semedy.reasoner.utils.FileUtils

readFileData(byte[], int, int) - Method in interface com.semedy.reasoner.edb.persistentstore.bplustree.BPlusKeys

read numkey keys from array of bytes starting at start returns start+number of read bytes

readFileData(byte[], int, int) - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.BPlusKeysFixedLong

readFileData(byte[], int, int) - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.BPlusKeysVariableBytes

readFlags() - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.BPlusTreeFile

write flags

READFROMDISC - Enum constant in enum com.semedy.reasoner.edb.persistentstore.bplustree.BPlusNode.BPlusStatus

readGrounds() - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.BplusDataFile

read grounds

readGrounds(long[]) - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.BPlusTreeFile

read grounds

readInt() - Method in class com.semedy.reasoner.edb.persistentstore.RandomAccessFilePaged

Reads an int at current position.

readInt() - Method in class com.semedy.reasoner.edb.persistentstore.RandomAccessFileRAF

Reads an int at current position.

readInt() - Method in interface com.semedy.reasoner.edb.persistentstore.RandomAccessToFile

Reads an int at current position.

readInt(long) - Method in interface com.semedy.reasoner.edb.persistentstore.bplustree.DataFile

read integer at position

readInt(long) - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.DataFileImp

readInt(long) - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.JsonFile

readInt(long) - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.SimpleDataFile

readJsonFromStream(InputStream) - Method in class com.semedy.reasoner.edb.persistentstore.BplusIndexJsons

read jsons from stream

readJsonFromStream(InputStream, OutputStream) - Static method in class com.semedy.reasoner.core.JsonLoader

readJsonFromStream(InputStream, Collection<String>) - Static method in class com.semedy.reasoner.core.JsonLoader

readJsonFromStream(Reader) - Static method in class com.semedy.reasoner.core.JsonUtils

read a set of jsons from stream

readJsonFromStream(Reader) - Method in class com.semedy.reasoner.edb.loader.JsonLoader

readJsonFromStream(Reader) - Method in class com.semedy.reasoner.edb.loader.JsonLoader3

readLock() - Method in interface com.semedy.reasoner.core.locks.CoreLock

get the read lock

readLock() - Method in class com.semedy.reasoner.core.locks.PredicateCoreLock

readLock() - Method in class com.semedy.reasoner.core.locks.ReentrantReadWriteUpdateLock

readLock() - Method in class com.semedy.reasoner.core.locks.SimpleCoreLock

readLock() - Method in class com.semedy.reasoner.edb.zdb.EDBIDBLock

readLock() - Method in interface com.semedy.reasoner.edb.zdb.EDBLock

readLock() - Method in class com.semedy.reasoner.edb.zdb.PredicateEDBLock

readLock() - Method in class com.semedy.reasoner.edb.zdb.SimpleEDBLock

readLock() - Method in class com.semedy.reasoner.utils.upgradeablelock.ReentrantReadWriteUpdateLock

readLockFile(String) - Static method in class com.semedy.reasoner.core.TransactionLogHandler

read the lock file and log an error message if it is found.

readLong() - Method in class com.semedy.reasoner.edb.persistentstore.RandomAccessFilePaged

Reads a long at current position.

readLong() - Method in class com.semedy.reasoner.edb.persistentstore.RandomAccessFileRAF

Reads a long at current position.

readLong() - Method in interface com.semedy.reasoner.edb.persistentstore.RandomAccessToFile

Reads a long at current position.

readNext() - Method in class com.semedy.reasoner.parser.oologic.Tokenizer

readNextChar() - Method in class com.semedy.reasoner.core.JsonStreamLoader

readNextChar() - Method in class com.semedy.reasoner.core.JsonStreamLoaderOld

readNextChar() - Method in class com.semedy.reasoner.parser.oologic.Tokenizer

readNode(int, boolean) - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.BPlusTreeFile

public method for reading a node at a given file offset.

readNumberOfElements() - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.BPlusTreeFile

read number of elements

readPositiveInteger() - Method in class com.semedy.reasoner.parser.oologic.Tokenizer

readRootOffset() - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.BPlusTreeFile

read offset of root

readsSymbolTable() - Method in class com.semedy.reasoner.api.builtin.AbstractConnector

readsSymbolTable() - Method in interface com.semedy.reasoner.api.builtin.Builtin

does the builtin read the symbol table

readsSymbolTable() - Method in class com.semedy.reasoner.api.builtin.CachedConnector

readsSymbolTable() - Method in class com.semedy.reasoner.api.builtin.SensorBuiltin

does the built-in read the symbol table

readsSymbolTable() - Method in class com.semedy.reasoner.api.builtin.SimilarityBuiltin

readsSymbolTable() - Method in interface com.semedy.reasoner.api.rewriter.Rewriter

indicates whether rewriter has to read the symbol table

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.action.Assert

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.action.ConstraintException

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.action.MoneyTransfer

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.action.PrintOut

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.action.PrintToFile

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.action.RaspiGpioOut

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.action.Retract

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.action.SendMail

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.action.SendMail2

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.action.ToCSV

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.action.ToJSON

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.aggregation.AbstractAggregation

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.aggregation.CollatingCompose

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.aggregation.Compose

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.aggregation.Count

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.aggregation.CountUnique

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.connector.CountEventsInTime

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.connector.Currency

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.connector.Query

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.connector.ReasonerQuery

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.connector.TestMultiRelational

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.connector.TestMultiRelationalCached

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.directfilter.DirectLessOrEqual

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.directfilter.IsNotFunctional2

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.directfilter.IsNotFunctional3

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.BooleanExpression

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.ComparisonBuiltin

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.ComparisonBuiltin2

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.ComparisonBuiltinNew

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.ContainsSimilar

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.Different

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.Equal

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.Equals

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.False

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.FilterExpression

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.InstanceFilterBuiltin

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.IsCalendar

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.IsDouble

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.IsEqual

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.IsEqualSet

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.IsFloat

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.IsJsonId

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.IsJsonTopId

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.IsNotEqual

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.IsNumber

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.IsReasoning

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.IsSet

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.IsString

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.IsSubset

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.IsType

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.JaroWinklerSimilarityBuiltin

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.NoneOf

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.OneOf

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.Print

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.RaspiGpioOut

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.RegularExpression

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.Seek

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.Select

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.StartsWithOneOf

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.SubJsonId

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.filter.True

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.Assign

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.ClassFunctionBuiltin

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.Code

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.ConcatMany

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.CreateCircle

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.CreateCircleWithDistanceUnit

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.CreateJsonID

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.CreatePoint

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.CreatePolygon

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.CreatePolygon2

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.CreatePolygonFromPoints

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.Day

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.Formatter

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.Increment

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.INGBuiltin

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.InstanceFunctionBuiltin

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.IsAlive

does the builtin read the symbol table

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.JaroWinkler

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.JsonIdToString

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.Levenshtein

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.MatchBuiltin

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.MathExpression

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.Month

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.Now

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.ParsePoint

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.PointX

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.RandomBoolean

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.RandomDuration

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.RandomEnumeration

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.RandomInteger

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.StockPrice

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.String2Number

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.Substitute

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.SWIFT32a

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.Text

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.Time2MilliSeconds

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.ToString

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.ToType

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.WeatherBuiltin

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.WeatherForecast

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.Week

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.functional.Year

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.relational.Builtins1

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.relational.Builtins2

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.relational.Enumerate

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.relational.GeoSearch

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.relational.In

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.relational.NGram

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.relational.Predicates

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.relational.RegularExpression

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.relational.Seek3

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.relational.Seek4

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.relational.Seek5

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.relational.SeekAnd

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.relational.Sqrt

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.relational.TextSearch2

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.relational.TextSearch3

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.relational.TimeRaster

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.relational.Window

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.sensor.Alarm

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.sensor.ListenToPort

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.sensor.ListenToPortSingleValue

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.sensor.Ticks

readsSymbolTable() - Method in class com.semedy.reasoner.builtin.similarity.Tolerance

readsSymbolTable() - Method in class com.semedy.reasoner.core.Compose

readsSymbolTable() - Method in class com.semedy.reasoner.core.ContainsSequence

readsSymbolTable() - Method in class com.semedy.reasoner.core.ContainsSequence2

readsSymbolTable() - Method in class com.semedy.reasoner.core.OptimizedContainsSequence

readsSymbolTable() - Method in class com.semedy.reasoner.core.PerformanceTest0.ContainsSequence

readsSymbolTable() - Method in class com.semedy.reasoner.core.PerformanceTest0.ContainsWord

readsSymbolTable() - Method in class com.semedy.reasoner.core.QueryHandler

readsSymbolTable() - Method in class com.semedy.reasoner.core.Sum

readsSymbolTable() - Method in class com.semedy.reasoner.customer.deuba.OldSimiliarityBuiltIn

readsSymbolTable() - Method in class com.semedy.reasoner.customer.deuba.SimilarityBuiltIn

readsSymbolTable() - Method in class com.semedy.reasoner.edb.Compose

readsSymbolTable() - Method in class com.semedy.reasoner.edb.Sum

readsSymbolTable() - Method in class com.semedy.reasoner.exercises.FilterA

readsSymbolTable() - Method in class com.semedy.reasoner.exercises.FilterB

readsSymbolTable() - Method in class com.semedy.reasoner.exercises.Increment

readsSymbolTable() - Method in class com.semedy.reasoner.exercises.IsString

readsSymbolTable() - Method in class com.semedy.reasoner.exercises.Mean

readsSymbolTable() - Method in class com.semedy.reasoner.exercises.RemoveDoubleLiterals

readsSymbolTable() - Method in class com.semedy.reasoner.exercises.Sqrt

readsSymbolTable() - Method in class com.semedy.reasoner.reasoning.BuiltinsTest.SuperSimpleBuiltin

readsSymbolTable() - Method in class com.semedy.reasoner.reasoning.ExceptionBuiltin

readsSymbolTable() - Method in class com.semedy.reasoner.reasoning.IncrementalFactsBuiltin

readsSymbolTable() - Method in class com.semedy.reasoner.rewriter.ActionRewriter

readsSymbolTable() - Method in class com.semedy.reasoner.rewriter.AxiomInjector

readsSymbolTable() - Method in class com.semedy.reasoner.rewriter.BetweenRewriter

readsSymbolTable() - Method in class com.semedy.reasoner.rewriter.BottomUpOrderingRewriter

readsSymbolTable() - Method in class com.semedy.reasoner.rewriter.BottomUpRuleSelector

readsSymbolTable() - Method in class com.semedy.reasoner.rewriter.CompareRewriter

readsSymbolTable() - Method in class com.semedy.reasoner.rewriter.DebuggingRewriter

readsSymbolTable() - Method in class com.semedy.reasoner.rewriter.DynamicOptimizer

readsSymbolTable() - Method in class com.semedy.reasoner.rewriter.ElementOfRewriter

readsSymbolTable() - Method in class com.semedy.reasoner.rewriter.EliminateRedundantBodiesRewriter

readsSymbolTable() - Method in class com.semedy.reasoner.rewriter.EqualRewriter

readsSymbolTable() - Method in class com.semedy.reasoner.rewriter.FillNullRewriter

readsSymbolTable() - Method in class com.semedy.reasoner.rewriter.FilterRewriter

readsSymbolTable() - Method in class com.semedy.reasoner.rewriter.FolderRewriter

readsSymbolTable() - Method in class com.semedy.reasoner.rewriter.FullFolderRewriter

readsSymbolTable() - Method in class com.semedy.reasoner.rewriter.FunctionalRewriter

readsSymbolTable() - Method in class com.semedy.reasoner.rewriter.IsaRewriter

readsSymbolTable() - Method in class com.semedy.reasoner.rewriter.MagicSetRewriter

readsSymbolTable() - Method in class com.semedy.reasoner.rewriter.ModuleRewriter

readsSymbolTable() - Method in class com.semedy.reasoner.rewriter.PathRewriter

readsSymbolTable() - Method in class com.semedy.reasoner.rewriter.PropagateConstantsRewriter

readsSymbolTable() - Method in class com.semedy.reasoner.rewriter.PropagateConstraintsRewriter

readsSymbolTable() - Method in class com.semedy.reasoner.rewriter.QueryRuleRewriter

readsSymbolTable() - Method in class com.semedy.reasoner.rewriter.RewriterSkeleton

readsSymbolTable() - Method in class com.semedy.reasoner.rewriter.SelectOne

readsSymbolTable() - Method in class com.semedy.reasoner.rewriter.SnapshotRewriter

readsSymbolTable() - Method in class com.semedy.reasoner.rewriter.Splitter

readsSymbolTable() - Method in class com.semedy.reasoner.rewriter.TopDownOrderingRewriter

readsSymbolTable() - Method in class com.semedy.reasoner.rewriter.Unfolder

readsSymbolTable() - Method in class com.semedy.reasoner.symboltable.encoder.CreatePolygon

readsSymbolTable() - Method in class com.semedy.reasoner.symboltable.IsList

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

read tuples from a file in binary form

readTupleFile(String) - Method in interface com.semedy.reasoner.api.edb.Relation

read tuples from a (compressed) binary file

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

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

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

readTupleFile(String) - Method in class com.semedy.reasoner.edb.ramstore.MixedRelation

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

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

readUnlock() - Method in class com.semedy.reasoner.edb.zdb.EDBIDBLock

ReadWriteUpdateLock - Interface in com.semedy.reasoner.core.locks

Extends the JDK ReadWriteLock, providing an update lock in addition to the read lock and the write lock.

ReadWriteUpdateLock - Interface in com.semedy.reasoner.utils.upgradeablelock

Extends the JDK ReadWriteLock, providing an update lock in addition to the read lock and the write lock.

reallocate(int, int) - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.PageTable

allocate a new slot for index
block old slot

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

a reasoner performs the reasoning process

ReasonerBugTest - Class in com.semedy.reasoner.core

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

ReasonerConnector - Class in com.semedy.reasoner.builtin.connector

ReasonerConnector() - Constructor for class com.semedy.reasoner.builtin.connector.ReasonerConnector

ReasonerIntegrationTests - Class in com.semedy.reasoner.builtin.connector

ReasonerIntegrationTests() - Constructor for class com.semedy.reasoner.builtin.connector.ReasonerIntegrationTests

ReasonerNotThreaded - Class in com.semedy.reasoner.reasoning

Reasoner.

ReasonerNotThreaded(InterruptFlag, SymbolTable, BuiltinProvider, boolean, long, boolean, boolean, String, boolean, Properties) - Constructor for class com.semedy.reasoner.reasoning.ReasonerNotThreaded

ReasonerNotThreaded(InterruptFlag, SymbolTable, BuiltinProvider, ReasoningMonitor, boolean, long, SimpleSemaphore, boolean, boolean, String, boolean, Properties) - Constructor for class com.semedy.reasoner.reasoning.ReasonerNotThreaded

ReasonerQuery - Class in com.semedy.reasoner.builtin.connector

retrieve information from another reasoner

ReasonerQuery() - Constructor for class com.semedy.reasoner.builtin.connector.ReasonerQuery

ReasonerThreadedFactsPartitioning - Class in com.semedy.reasoner.reasoning

Threaded reasoner.

ReasonerThreadedFactsPartitioning(InterruptFlag, SymbolTable, BuiltinProvider, int, ReasoningMonitor, boolean, int, boolean, boolean, String, boolean, Properties) - Constructor for class com.semedy.reasoner.reasoning.ReasonerThreadedFactsPartitioning

ReasonerThreadedRulesPartitioning - Class in com.semedy.reasoner.reasoning

Threaded reasoner

ReasonerThreadedRulesPartitioning(InterruptFlag, SymbolTable, BuiltinProvider, int, boolean, int, ReasoningMonitor, boolean, boolean, String, boolean, Properties, int, boolean) - Constructor for class com.semedy.reasoner.reasoning.ReasonerThreadedRulesPartitioning

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

ReasoningException - Exception Class in com.semedy.reasoner.api.reasoning

ReasoningException(String) - Constructor for exception class com.semedy.reasoner.api.reasoning.ReasoningException

ReasoningException(String, Throwable) - Constructor for exception class com.semedy.reasoner.api.reasoning.ReasoningException

ReasoningFactsRegisterThread - Class in com.semedy.reasoner.reasoning

Performs parallel reasoning

ReasoningFactsRegisterThread(InterruptFlag, SymbolTable, BuiltinProvider, boolean, EventResultReceiver, CoreReadLock, boolean, boolean, String, boolean, Properties, int, boolean, boolean) - Constructor for class com.semedy.reasoner.reasoning.ReasoningFactsRegisterThread

ReasoningFactsThread - Class in com.semedy.reasoner.reasoning

Performs parallel reasoning

ReasoningFactsThread(InterruptFlag, Receiver, SymbolTable, BuiltinProvider, boolean, boolean, boolean, String, boolean, boolean, Properties) - Constructor for class com.semedy.reasoner.reasoning.ReasoningFactsThread

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

Monitoring the reasoning process for reasoning actions and memory consumptions

ReasoningMonitorRelation - Class in com.semedy.reasoner.reasoning.monitor

ReasoningMonitorTimes - Class in com.semedy.reasoner.utils

ReasoningMonitorTimes(PrintStream, SymbolTable) - Constructor for class com.semedy.reasoner.utils.ReasoningMonitorTimes

ReasoningMonitorTimes.JoinEntry - Class in com.semedy.reasoner.utils

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

ReasoningRelation(int, BaseRelation, ReasoningMonitor, boolean) - Constructor for class com.semedy.reasoner.reasoning.processes.ReasoningRelation

ReasoningRelation(int, Relation, ReasoningMonitor, boolean) - Constructor for class com.semedy.reasoner.reasoning.processes.ReasoningRelation

ReasoningRelation(int, TupleStore, ReasoningMonitor, boolean) - Constructor for class com.semedy.reasoner.reasoning.processes.ReasoningRelation

ReasoningRelation(Relation, String, ReasoningMonitor, boolean) - Constructor for class com.semedy.reasoner.reasoning.processes.ReasoningRelation

create a reasoning relation out of an edb relation

ReasoningRelation(String, int, TupleStore, boolean, ReasoningMonitor, boolean) - Constructor for class com.semedy.reasoner.reasoning.processes.ReasoningRelation

ReasoningRelation.TuplesOrigin - Enum in com.semedy.reasoner.reasoning.processes

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

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

reasoningRule(int) - Method in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser.Facts_and_rulesContext

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

ReasoningRulesThread - Class in com.semedy.reasoner.reasoning

Performs parallel reasoning

ReasoningRulesThread(InterruptFlag, Receiver, SymbolTable, BuiltinProvider, int, ReasoningMonitor, boolean, boolean, String, boolean, Properties, int, boolean) - Constructor for class com.semedy.reasoner.reasoning.ReasoningRulesThread

ReasoningSymbolTable - Interface in com.semedy.reasoner.symboltable

As an extension of the symbol table it provides methods for matching and substituting terms

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

Wrapper around a reasoning symbol table which does not internalize terms

ReasoningSymbolTableNotInternalize(ReasoningSymbolTable) - Constructor for class com.semedy.reasoner.reasoning.processes.ReasoningSymbolTableNotInternalize

ReasoningSymbolTableRAM - Class in com.semedy.reasoner.symboltable

Provides all functionality for handling a symbol table in main memory for reasoning.

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

ReasoningSymbolTableRAM(ExternalDataTypeProvider, boolean, SymbolTable, int) - Constructor for class com.semedy.reasoner.symboltable.ReasoningSymbolTableRAM

is it the reasoning symbol table

ReasoningThread - Class in com.semedy.reasoner.reasoning

Performs parallel reasoning

ReasoningThread(InterruptFlag, Receiver, ReasoningMonitor, SymbolTable, BuiltinProvider, boolean, boolean, boolean, String, boolean, Properties, CoreLock, int, boolean) - Constructor for class com.semedy.reasoner.reasoning.ReasoningThread

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

ReasoningTuplesKey(ReasoningRelation) - Constructor for class com.semedy.reasoner.reasoning.processes.ReasoningTuplesKey

receiveEncodedEvent(Object[]) - Method in class com.semedy.reasoner.api.builtin.SensorBuiltin

receives an event with already coded values (longs)
triggers reasoning with this new info

receiveEncodedEvent(Object[]) - Method in class com.semedy.reasoner.api.builtin.SensorBuiltinSingleValue

receives an event with already coded values (longs)
retracts the previous event
triggers reasoning with this new info

receiveEvent(long[]) - Method in class com.semedy.reasoner.reasoning.IncrementalFactsBuiltin

receiveEvent(TupleBuffer) - Method in class com.semedy.reasoner.reasoning.IncrementalFactsBuiltin

receiveEvent(Object[]) - Method in class com.semedy.reasoner.api.builtin.SensorBuiltin

receives an event from an external system/sensor and
triggers reasoning with this new info

receiveEvent(Object[]) - Method in class com.semedy.reasoner.api.builtin.SensorBuiltinSingleValue

receives an event from an external system/sensor and
retracts the previous event
triggers reasoning with this new info

receiveFile(String) - Method in class com.semedy.reasoner.edb.zdb.Loader

receiveFile(String) - Method in class com.semedy.reasoner.edb.zdb.RelationLoader

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

A receiver collects tuples ad intermediate results during reasoning.

receiveRelation(BaseRelation) - Method in class com.semedy.reasoner.reasoning.IncrementalFactsBuiltin

receiveRelation(ReasoningRelation) - Method in class com.semedy.reasoner.api.core.EventResultReceiver

receiveRelation(ReasoningRelation) - Method in interface com.semedy.reasoner.api.reasoning.Receiver

receive a whole relation

receiveRelation(ReasoningRelation) - Method in class com.semedy.reasoner.builtin.directfilter.DirectLessOrEqual

receiveRelation(ReasoningRelation) - Method in class com.semedy.reasoner.builtin.directfilter.IsNotFunctional2

receiveRelation(ReasoningRelation) - Method in class com.semedy.reasoner.builtin.directfilter.IsNotFunctional3

receiveRelation(ReasoningRelation) - Method in class com.semedy.reasoner.core.IntermediateResultProducer

receiveRelation(ReasoningRelation) - Method in class com.semedy.reasoner.reasoning.processes.BufferedStore

receiveRelation(ReasoningRelation) - Method in class com.semedy.reasoner.reasoning.processes.EmptyStore

receiveRelation(ReasoningRelation) - Method in class com.semedy.reasoner.reasoning.processes.Encoder

receiveRelation(ReasoningRelation) - Method in class com.semedy.reasoner.reasoning.processes.EventReceiver

receiveRelation(ReasoningRelation) - Method in class com.semedy.reasoner.reasoning.processes.ExecuteDirectFilterBuiltin

receiveRelation(ReasoningRelation) - Method in class com.semedy.reasoner.reasoning.processes.ExecuteFilterBuiltin

receiveRelation(ReasoningRelation) - Method in class com.semedy.reasoner.reasoning.processes.ExecuteFunctionalBuiltin

receiveRelation(ReasoningRelation) - Method in class com.semedy.reasoner.reasoning.processes.ExecuteRelationalBuiltin

receiveRelation(ReasoningRelation) - Method in class com.semedy.reasoner.reasoning.processes.Match

receiveRelation(ReasoningRelation) - Method in class com.semedy.reasoner.reasoning.processes.ProcessImp

receiveRelation(ReasoningRelation) - Method in class com.semedy.reasoner.reasoning.processes.ResultReceiver

receiveRelation(ReasoningRelation) - Method in class com.semedy.reasoner.reasoning.processes.Scatter

receiveRelation(ReasoningRelation) - Method in class com.semedy.reasoner.reasoning.processes.SetConstants

receiveRelation(ReasoningRelation) - Method in interface com.semedy.reasoner.reasoning.processes.Store

receive a whole relation with tuples

receiveRelation(ReasoningRelation) - Method in class com.semedy.reasoner.reasoning.processes.SubstituteFunction

receiveRelation(ReasoningRelation) - Method in class com.semedy.reasoner.reasoning.processes.SynchronizedBufferedStore

receiveRelation(ReasoningRelation) - Method in class com.semedy.reasoner.reasoning.processes.TestEqual

receiveRelation(ReasoningRelation) - Method in class com.semedy.reasoner.reasoning.processes.TopDown

receiveRelation(ReasoningRelation) - Method in class com.semedy.reasoner.reasoning.processes.TopDownTrigger

receiveRelation(ReasoningRelation) - Method in class com.semedy.reasoner.reasoning.processes.TopDownUnbufferedStore

receiveRelation(ReasoningRelation) - Method in class com.semedy.reasoner.reasoning.processes.UnbufferedStore

receiveRelation(ReasoningRelation) - Method in class com.semedy.reasoner.reasoning.processes.VariableToVariable

receiveRelationNoProject(ReasoningRelation) - Method in class com.semedy.reasoner.reasoning.processes.SetConstants

receiveRelationProject(ReasoningRelation) - Method in class com.semedy.reasoner.reasoning.processes.SetConstants

receiveResult(long[]) - Method in class com.semedy.reasoner.api.core.EventResultReceiver

a new result has been received

receiveResult(long[]) - Method in class com.semedy.reasoner.api.core.MaterializationReceiver

Receive a new result as a tuple of codes.

receiveResult(long[]) - Method in class com.semedy.reasoner.api.core.StoreEventResultReceiver

Receive a new result as a tuple of codes.

receiveResult(long[]) - Method in class com.semedy.reasoner.core.EmptyEventResultReceiver

receiveResult(TupleBuffer) - Method in class com.semedy.reasoner.api.core.EventResultReceiver

a new result has been received

receiveResult(TupleBuffer) - Method in class com.semedy.reasoner.api.core.MaterializationReceiver

Receive a new result as a tuple of codes.

receiveResult(TupleBuffer) - Method in class com.semedy.reasoner.api.core.StoreEventResultReceiver

Receive a new result as a tuple of codes.

receiveResult(TupleBuffer) - Method in class com.semedy.reasoner.core.EmptyEventResultReceiver

receiveTuple(int) - Method in class com.semedy.reasoner.api.core.MaterializationReceiver

receiveTuple(int) - Method in interface com.semedy.reasoner.api.reasoning.Receiver

receive a single tuple

receiveTuple(int) - Method in class com.semedy.reasoner.builtin.directfilter.DirectLessOrEqual

receiveTuple(int) - Method in class com.semedy.reasoner.builtin.directfilter.IsNotFunctional2

receiveTuple(int) - Method in class com.semedy.reasoner.builtin.directfilter.IsNotFunctional3

receiveTuple(int) - Method in class com.semedy.reasoner.core.IntermediateResultProducer

receiveTuple(int) - Method in class com.semedy.reasoner.reasoning.processes.BufferedStore

receiveTuple(int) - Method in class com.semedy.reasoner.reasoning.processes.EmptyStore

receiveTuple(int) - Method in class com.semedy.reasoner.reasoning.processes.Encoder

receiveTuple(int) - Method in class com.semedy.reasoner.reasoning.processes.End

receiveTuple(int) - Method in class com.semedy.reasoner.reasoning.processes.EventReceiver

receiveTuple(int) - Method in class com.semedy.reasoner.reasoning.processes.ExecuteDirectFilterBuiltin

receiveTuple(int) - Method in class com.semedy.reasoner.reasoning.processes.ExecuteFilterBuiltin

receiveTuple(int) - Method in class com.semedy.reasoner.reasoning.processes.ExecuteFunctionalBuiltin

receiveTuple(int) - Method in class com.semedy.reasoner.reasoning.processes.ExecuteRelationalBuiltin

receiveTuple(int) - Method in class com.semedy.reasoner.reasoning.processes.Match

receiveTuple(int) - Method in class com.semedy.reasoner.reasoning.processes.ProcessImp

receiveTuple(int) - Method in class com.semedy.reasoner.reasoning.processes.ResultReceiver

receiveTuple(int) - Method in class com.semedy.reasoner.reasoning.processes.Scatter

receiveTuple(int) - Method in class com.semedy.reasoner.reasoning.processes.SetConstants

receiveTuple(int) - Method in interface com.semedy.reasoner.reasoning.processes.Store

receive a single tuple

receiveTuple(int) - Method in class com.semedy.reasoner.reasoning.processes.SubstituteFunction

receiveTuple(int) - Method in class com.semedy.reasoner.reasoning.processes.TestEqual

receiveTuple(int) - Method in class com.semedy.reasoner.reasoning.processes.TopDown

receiveTuple(int) - Method in class com.semedy.reasoner.reasoning.processes.TopDownTrigger

receiveTuple(int) - Method in class com.semedy.reasoner.reasoning.processes.TopDownUnbufferedStore

receiveTuple(int) - Method in class com.semedy.reasoner.reasoning.processes.UnbufferedStore

receiveTuple(int) - Method in class com.semedy.reasoner.reasoning.processes.VariableToVariable

receiveTuple(long[]) - Method in interface com.semedy.reasoner.api.reasoning.Receiver

receive a single tuple

receiveTuple(long[]) - Method in class com.semedy.reasoner.builtin.directfilter.DirectLessOrEqual

receiveTuple(long[]) - Method in class com.semedy.reasoner.builtin.directfilter.IsNotFunctional2

receiveTuple(long[]) - Method in class com.semedy.reasoner.builtin.directfilter.IsNotFunctional3

receiveTuple(long[]) - Method in class com.semedy.reasoner.core.IntermediateResultProducer

receiveTuple(long[]) - Method in class com.semedy.reasoner.reasoning.processes.BufferedStore

receiveTuple(long[]) - Method in class com.semedy.reasoner.reasoning.processes.EmptyStore

receiveTuple(long[]) - Method in class com.semedy.reasoner.reasoning.processes.Encoder

receiveTuple(long[]) - Method in class com.semedy.reasoner.reasoning.processes.End

receiveTuple(long[]) - Method in class com.semedy.reasoner.reasoning.processes.EventReceiver

receiveTuple(long[]) - Method in class com.semedy.reasoner.reasoning.processes.ExecuteDirectFilterBuiltin

receiveTuple(long[]) - Method in class com.semedy.reasoner.reasoning.processes.ExecuteFilterBuiltin

receiveTuple(long[]) - Method in class com.semedy.reasoner.reasoning.processes.ExecuteFunctionalBuiltin

receiveTuple(long[]) - Method in class com.semedy.reasoner.reasoning.processes.ExecuteRelationalBuiltin

receiveTuple(long[]) - Method in class com.semedy.reasoner.reasoning.processes.Match

receiveTuple(long[]) - Method in class com.semedy.reasoner.reasoning.processes.ProcessImp

receiveTuple(long[]) - Method in class com.semedy.reasoner.reasoning.processes.ResultReceiver

receiveTuple(long[]) - Method in class com.semedy.reasoner.reasoning.processes.Scatter

receiveTuple(long[]) - Method in class com.semedy.reasoner.reasoning.processes.SetConstants

receiveTuple(long[]) - Method in interface com.semedy.reasoner.reasoning.processes.Store

receive a single tuple

receiveTuple(long[]) - Method in class com.semedy.reasoner.reasoning.processes.SubstituteFunction

receiveTuple(long[]) - Method in class com.semedy.reasoner.reasoning.processes.TestEqual

receiveTuple(long[]) - Method in class com.semedy.reasoner.reasoning.processes.TopDown

receiveTuple(long[]) - Method in class com.semedy.reasoner.reasoning.processes.TopDownTrigger

receiveTuple(long[]) - Method in class com.semedy.reasoner.reasoning.processes.TopDownUnbufferedStore

receiveTuple(long[]) - Method in class com.semedy.reasoner.reasoning.processes.UnbufferedStore

receiveTuple(long[]) - Method in class com.semedy.reasoner.reasoning.processes.VariableToVariable

receiveTuple(TupleBuffer) - Method in interface com.semedy.reasoner.api.reasoning.Receiver

receive a single tuple

receiveTuple(TupleBuffer) - Method in class com.semedy.reasoner.builtin.directfilter.DirectLessOrEqual

receiveTuple(TupleBuffer) - Method in class com.semedy.reasoner.builtin.directfilter.IsNotFunctional2

receiveTuple(TupleBuffer) - Method in class com.semedy.reasoner.builtin.directfilter.IsNotFunctional3

receiveTuple(TupleBuffer) - Method in class com.semedy.reasoner.core.IntermediateResultProducer

receiveTuple(TupleBuffer) - Method in class com.semedy.reasoner.reasoning.processes.BufferedStore

receiveTuple(TupleBuffer) - Method in class com.semedy.reasoner.reasoning.processes.EmptyStore

receiveTuple(TupleBuffer) - Method in class com.semedy.reasoner.reasoning.processes.Encoder

receiveTuple(TupleBuffer) - Method in class com.semedy.reasoner.reasoning.processes.End

receiveTuple(TupleBuffer) - Method in class com.semedy.reasoner.reasoning.processes.EventReceiver

receiveTuple(TupleBuffer) - Method in class com.semedy.reasoner.reasoning.processes.ProcessImp

receiveTuple(TupleBuffer) - Method in class com.semedy.reasoner.reasoning.processes.ResultReceiver

receiveTuple(TupleBuffer) - Method in class com.semedy.reasoner.reasoning.processes.Scatter

receiveTuple(TupleBuffer) - Method in class com.semedy.reasoner.reasoning.processes.SetConstants

receiveTupleWOCheck(TupleBuffer) - Method in class com.semedy.reasoner.core.IntermediateResultProducer

RecreateGeoIndexTest - Class in com.semedy.reasoner.symboltable.index

Test for re-creating the text index on startup.

RecreateGeoIndexTest() - Constructor for class com.semedy.reasoner.symboltable.index.RecreateGeoIndexTest

recreateIndex(SymbolTable, ExtensionalDB) - Method in class com.semedy.reasoner.symboltable.index.GeoIndex

recreate whole geo index

recreateIndex(SymbolTable, ExtensionalDB) - Method in class com.semedy.reasoner.symboltable.index.TextIndex

recreate whole text index

recreateIndices(SymbolTable) - Method in class com.semedy.reasoner.api.edb.ExtensionalDB

recreate indices for properties

recreateSymbolTableIndexes() - Method in interface com.semedy.reasoner.api.symboltable.SymbolTable

recreates all symbol table indexes from scratch.

recreateSymbolTableIndexes() - Method in class com.semedy.reasoner.reasoning.processes.ReasoningSymbolTableNotInternalize

recreateSymbolTableIndexes() - Method in class com.semedy.reasoner.symboltable.AbstractSymbolTable

RecreateTextIndexTest - Class in com.semedy.reasoner.symboltable.index

Test for re-creating the text index on startup.

RecreateTextIndexTest() - Constructor for class com.semedy.reasoner.symboltable.index.RecreateTextIndexTest

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ReentrantReadWriteUpdateLock - Class in com.semedy.reasoner.core.locks

An implementation of ReadWriteUpdateLock, extending the functionality of the JDK ReentrantReadWriteLock with an update lock in addition to the read and write lock, supporting upgrade from read-only operation to writing status, and downgrade again.

ReentrantReadWriteUpdateLock - Class in com.semedy.reasoner.utils.upgradeablelock

An implementation of ReadWriteUpdateLock, extending the functionality of the JDK ReentrantReadWriteLock with an update lock in addition to the read and write lock, supporting upgrade from read-only operation to writing status, and downgrade again.

ReentrantReadWriteUpdateLock() - Constructor for class com.semedy.reasoner.core.locks.ReentrantReadWriteUpdateLock

ReentrantReadWriteUpdateLock() - Constructor for class com.semedy.reasoner.utils.upgradeablelock.ReentrantReadWriteUpdateLock

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

REFERENCE - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

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

referred() - Method in class com.semedy.reasoner.utils.Node

refreshSearchIndexes(boolean) - Method in interface com.semedy.reasoner.api.symboltable.SymbolTable

refreshes the search indices, i.e. waits until they are up-to-date.

refreshSearchIndexes(boolean) - Method in class com.semedy.reasoner.reasoning.processes.ReasoningSymbolTableNotInternalize

refreshSearchIndexes(boolean) - Method in class com.semedy.reasoner.symboltable.AbstractSymbolTable

register(EventResultReceiver) - Method in class com.semedy.reasoner.reasoning.ReasonerThreadedFactsPartitioning

register(EventResultReceiver) - Method in class com.semedy.reasoner.reasoning.ReasonerThreadedRulesPartitioning

register(InterruptFlag, EventResultReceiver, CoreReadLock) - Method in class com.semedy.reasoner.reasoning.ReasonerNotThreaded

register(InterruptFlag, String, String, ReasoningMonitor, PrintStream) - Method in class com.semedy.reasoner.app.QueryRegister

register(InterruptFlag, List<EventResultReceiver>) - Method in class com.semedy.reasoner.reasoning.ReasonerThreadedFactsPartitioning

register(InterruptFlag, List<EventResultReceiver>) - Method in class com.semedy.reasoner.reasoning.ReasonerThreadedRulesPartitioning

register(InterruptFlag, List<EventResultReceiver>, CoreReadLock) - Method in interface com.semedy.reasoner.api.reasoning.Reasoner

Register several queries for events caused by sensors or in case of
stream reasoning db caused by added facts.
Every time events from sensors arrive there might be one or more new results.
For every result receiver.receive is called
This is used for stream reasoning

register(InterruptFlag, List<EventResultReceiver>, CoreReadLock) - Method in class com.semedy.reasoner.reasoning.ReasonerNotThreaded

register(InterruptFlag, List<EventResultReceiver>, CoreReadLock) - Method in class com.semedy.reasoner.reasoning.ReasonerThreadedFactsPartitioning

register(InterruptFlag, List<EventResultReceiver>, CoreReadLock) - Method in class com.semedy.reasoner.reasoning.ReasonerThreadedRulesPartitioning

register(InterruptFlag, List<EventResultReceiver>, CoreReadLock, SimpleSemaphore) - Method in class com.semedy.reasoner.reasoning.ReasonerThreadedFactsPartitioning

register(InterruptFlag, List<EventResultReceiver>, CoreReadLock, SimpleSemaphore) - Method in class com.semedy.reasoner.reasoning.ReasonerThreadedRulesPartitioning

register(InterruptFlag, List<EventResultReceiver>, SimpleSemaphore) - Method in class com.semedy.reasoner.reasoning.ReasonerThreadedFactsPartitioning

register(InterruptFlag, List<EventResultReceiver>, SimpleSemaphore) - Method in class com.semedy.reasoner.reasoning.ReasonerThreadedRulesPartitioning

registerBuiltin(Builtin) - Method in class com.semedy.reasoner.api.builtin.BuiltinProvider

register a new built-in

registerExternalDataType(ExternalDataType) - Method in class com.semedy.reasoner.api.symboltable.ExternalDataTypeProvider

add a ExternalDataType at the last position

registerExternalDataType(ExternalDataType, int) - Method in class com.semedy.reasoner.api.symboltable.ExternalDataTypeProvider

add a ExternalDataType at index

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

register a listener for adding, removing, modifying tuples

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

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

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

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

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

registerLoader(Loader) - Method in class com.semedy.reasoner.api.edb.LoaderProvider

register a new loader

registerQueries(InterruptFlag, String, ReasoningMonitor, List<EventResultReceiver>) - Method in class com.semedy.reasoner.api.core.StreamReasoningDB

Register a set of queries for stream reasoning.

registerQueries(InterruptFlag, String, ReasoningMonitor, List<EventResultReceiver>, Properties) - Method in class com.semedy.reasoner.api.core.StreamReasoningDB

Register a set of queries for stream reasoning.

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

Register a set of queries for stream reasoning.

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

Register a set of queries for stream reasoning.

registerRewriter(Rewriter, int) - Method in class com.semedy.reasoner.api.rewriter.RewriterProvider

add a rewriter at index

RegularExpression - Class in com.semedy.reasoner.builtin.filter

Built-in for regular expressions defined in java.util.regex.Pattern

RegularExpression - Class in com.semedy.reasoner.builtin.relational

Built-in for regular expressions defined in java.util.regex.Pattern

RegularExpression() - Constructor for class com.semedy.reasoner.builtin.filter.RegularExpression

RegularExpression() - Constructor for class com.semedy.reasoner.builtin.relational.RegularExpression

ReIndex - Class in com.semedy.reasoner.app

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

Relation - Interface in com.semedy.reasoner.api.edb

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.

RelationAdapter - Class in com.semedy.reasoner.reasoning.monitor

Adapter to BaseRelation.

RelationAdapter(BaseRelation) - Constructor for class com.semedy.reasoner.reasoning.monitor.RelationAdapter

RELATIONAL - Enum constant in enum com.semedy.reasoner.api.builtin.BuiltinType

RelationalBuiltin - Interface in com.semedy.reasoner.api.builtin

Interface for relational built-ins.
A relational built-in gets one input tuple
and may produce one or more output tuples.

RelationFactory - Interface in com.semedy.reasoner.api.edb

Controls the creation of relations of tuples inside the extensional database

RELATIONKEYSPERNODE - Static variable in class com.semedy.reasoner.core.SystemConfiguration

max number of keys in a bplus node for a relation bplus tree

RelationListener - Interface in com.semedy.reasoner.api.edb

listens for changes in a relation

RelationListener.ActionType - Enum in com.semedy.reasoner.api.edb

RelationLoader - Class in com.semedy.reasoner.edb.zdb

RelationLoader(ExtensionalDB, String, String, String, long, Configuration.StorageType, boolean) - Constructor for class com.semedy.reasoner.edb.zdb.RelationLoader

relations() - Method in class com.semedy.reasoner.reasoning.processes.EmptyStore

relations() - Method in interface com.semedy.reasoner.reasoning.processes.Store

relations() - Method in class com.semedy.reasoner.reasoning.processes.UnbufferedStore

release() - Method in class com.semedy.reasoner.core.InternalCachedJsonResult

release() - Method in class com.semedy.reasoner.core.InternalCachedTripleResult

release() - Method in class com.semedy.reasoner.edb.persistentstore.AbstractCacheUnit

Cache management calls this method to release the cache unit.

release() - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.BPlusNode

Cache management calls this method to release the cache unit.

release() - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.CompressedBPlusNode

release() - Method in class com.semedy.reasoner.edb.persistentstore.CacheAnchor

release() - Method in interface com.semedy.reasoner.edb.persistentstore.CacheUnit

Cache management calls this method to release the cache unit.

release() - Method in class com.semedy.reasoner.edb.ramstore.MixedRelation

Cache management calls this method to release the cache unit.

release() - Method in class com.semedy.reasoner.reasoning.processes.CachedJoinResult

release() - Method in class com.semedy.reasoner.reasoning.processes.SwappableBufferedIncrementalRelation

release() - Method in class com.semedy.reasoner.reasoning.processes.SwappableRelation

swap out.

releaseAll() - Static method in class com.semedy.reasoner.edb.persistentstore.CacheManager

release all listed units

releaseAll() - Static method in class com.semedy.reasoner.edb.persistentstore.CacheManager2

release all listed units

releaseAll() - Static method in class com.semedy.reasoner.edb.persistentstore.CacheManager3

release all listed units

releaseAll() - Static method in class com.semedy.reasoner.edb.persistentstore.CacheManager4

release all listed units

releaseAllBPlusNodes() - Static method in class com.semedy.reasoner.edb.persistentstore.CacheManager

release all listed units

releaseAllBPlusNodes() - Static method in class com.semedy.reasoner.edb.persistentstore.CacheManager4

release all listed units

RELEASED - Enum constant in enum com.semedy.reasoner.edb.persistentstore.bplustree.BPlusNode.BPlusStatus

releaseNode(BPlusNode<KeyType, KeyBufferType>, boolean) - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.BPlusTreeFile

free up disk space for bplus node

remove() - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.BPlusInternalNode

remove() - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.BPlusLeaf

remove() - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.BPlusLeafRecords

remove() - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.BPlusTree.BplusIterator

remove() - Method in class com.semedy.reasoner.edb.persistentstore.CacheAnchor

remove() - Method in class com.semedy.reasoner.edb.ramstore.MixedRelation

remove() - Method in class com.semedy.reasoner.reasoning.processes.CacheInfo

Remove cached result and all dependent from all occurences

remove() - Method in class com.semedy.reasoner.reasoning.processes.SwappableBufferedIncrementalRelation

remove() - Method in class com.semedy.reasoner.reasoning.processes.SwappableIncrementalRelation

remove() - Method in class com.semedy.reasoner.reasoning.processes.SwappableRelation

remove all tuples

remove() - Method in interface com.semedy.reasoner.symboltable.SymbolTableIterator

remove(byte[], boolean) - Method in class com.semedy.reasoner.edb.persistentstore.BplusIndexBytes

remove(int) - Method in interface com.semedy.reasoner.edb.persistentstore.bplustree.BPlusKeys

remove key at indexToSkip from set of keys

remove(int) - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.BPlusKeysFixedLong

remove(int) - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.BPlusKeysVariableBytes

remove(int) - Method in class com.semedy.reasoner.edb.ramstore.IntArrayList

remove(int) - Method in class com.semedy.reasoner.utils.ByteArrayList

remove an element from list

remove(int) - Method in class com.semedy.reasoner.utils.BytesArrayList

Removes the element at the specified position in this list.

remove(int) - Method in class com.semedy.reasoner.utils.IntArrayList

remove an element from list

remove(int) - Method in class com.semedy.reasoner.utils.LongLongMap

remove(int) - Method in class com.semedy.reasoner.utils.StringArrayList

Removes the element at the specified position in this list.

remove(int, int) - Method in class com.semedy.reasoner.utils.LongArrayList

remove(long) - Method in class com.semedy.reasoner.edb.persistentstore.BplusBlob

remove(long) - Method in class com.semedy.reasoner.symboltable.SymbolCache

remove a term with code

remove(long[], boolean) - Method in class com.semedy.reasoner.edb.persistentstore.BplusIndexLongs

remove(CacheUnit) - Static method in class com.semedy.reasoner.edb.persistentstore.CacheManager

remove a cache unit

remove(CacheUnit) - Static method in class com.semedy.reasoner.edb.persistentstore.CacheManager2

remove a cache unit

remove(CacheUnit) - Static method in class com.semedy.reasoner.edb.persistentstore.CacheManager3

remove a cache unit

remove(CacheUnit) - Static method in class com.semedy.reasoner.edb.persistentstore.CacheManager4

remove a cache unit

remove(Tuple) - Method in class com.semedy.reasoner.utils.TupleCache

remove a term with code

remove(Object) - Method in class com.semedy.reasoner.edb.loader.RDFLoader

remove(Object) - Method in class com.semedy.reasoner.parser.oologic.EDBCollectionAdapter

remove(Object) - Method in class com.semedy.reasoner.parser.oologic.IDBCollectionAdapter

remove(Object) - Method in class com.semedy.reasoner.parser.oologic.PredicateCollectionAdapter

remove(Object) - Method in class com.semedy.reasoner.symboltable.SymbolCache

remove a term with code

remove(Object) - Method in class com.semedy.reasoner.utils.BytesArrayList

Removes the first occurrence of the specified element from this list, if it is present.

remove(Object) - Method in class com.semedy.reasoner.utils.StringArrayList

Removes the first occurrence of the specified element from this list, if it is present.

remove(String) - Method in class com.semedy.reasoner.edb.persistentstore.BplusIndexJsons

remove(String) - Method in class com.semedy.reasoner.edb.zdb.InvertedIndexShingles

remove string from index

remove(String) - Method in class com.semedy.reasoner.parser.graphql.Pattern

remove a property by name

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

removeActiveStore(UnbufferedStore) - Method in class com.semedy.reasoner.reasoning.processes.ProcessExecutor

removeAll(Collection<?>) - Method in class com.semedy.reasoner.edb.loader.RDFLoader

removeAll(Collection<?>) - Method in class com.semedy.reasoner.parser.oologic.EDBCollectionAdapter

removeAll(Collection<?>) - Method in class com.semedy.reasoner.parser.oologic.IDBCollectionAdapter

removeAll(Collection<?>) - Method in class com.semedy.reasoner.parser.oologic.PredicateCollectionAdapter

removeAll(Collection<?>) - Method in class com.semedy.reasoner.utils.BytesArrayList

Removes from this list all of its elements that are contained in the specified collection.

removeAll(Collection<?>) - Method in class com.semedy.reasoner.utils.StringArrayList

Removes from this list all of its elements that are contained in the specified collection.

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

removeAllInterruptListeners() - Method in class com.semedy.reasoner.api.reasoning.InterruptFlag

remove all listeners for interrupts

removeAllNeighbours() - Method in class com.semedy.reasoner.utils.Node

removeAllRules(Collection<Rule>) - Method in class com.semedy.reasoner.api.idb.IntensionalDB

Remove a whole collection of rules.

removeAllSymbolTableIndexes() - Method in interface com.semedy.reasoner.api.symboltable.SymbolTable

removes all symbol table indexes.

removeAllSymbolTableIndexes() - Method in class com.semedy.reasoner.reasoning.processes.ReasoningSymbolTableNotInternalize

removeAllSymbolTableIndexes() - Method in class com.semedy.reasoner.symboltable.AbstractSymbolTable

removeAllSymbolTableIndexes() - Method in class com.semedy.reasoner.symboltable.SymbolTableBplus

removeAllSymbolTableIndexes() - Method in class com.semedy.reasoner.symboltable.SymbolTableRAM

removeAxioms(SymbolTable, ExternalDataTypeProvider, Configuration) - Method in class com.semedy.reasoner.api.idb.IntensionalDB

remove the relevant axioms

removeBuiltin(Builtin) - Method in class com.semedy.reasoner.api.builtin.BuiltinProvider

remove a registered built-in

RemoveDoubleLiterals - Class in com.semedy.reasoner.exercises

a rewriter which removes double literals in rule bodies

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

removeFact(Literal) - Method in class com.semedy.reasoner.api.core.DeductiveDatabase

Remove a fact from the deductive database.

removeFactEncoded(Literal) - Method in class com.semedy.reasoner.api.core.DeductiveDatabase

Remove a fact from the deductive database.

removeFacts(Collection<Literal>) - Method in class com.semedy.reasoner.api.core.DeductiveDatabase

Remove facts from the deductive database.

removeFactsEncoded(Collection<Literal>) - Method in class com.semedy.reasoner.api.core.DeductiveDatabase

Remove facts from the deductive database.

removeIf(Predicate<? super byte[]>) - Method in class com.semedy.reasoner.utils.BytesArrayList

removeIf(Predicate<? super String>) - Method in class com.semedy.reasoner.utils.StringArrayList

removeIndex(int) - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.IndexStore

remove an index at address

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

removeInterruptListener(InterruptListener) - Method in class com.semedy.reasoner.api.reasoning.InterruptFlag

remove a listener for interrupts

removeJavaObjects(JavaObject, Collection<String>) - Method in class com.semedy.reasoner.api.core.JavaDeductiveDatabase

objects with uids are deleted.

removeJsonObject(String) - Method in class com.semedy.reasoner.api.core.JSONDeductiveDatabase

Json object with given id (@id) is deleted

removeJsonObject(String, Configuration, Properties) - Method in class com.semedy.reasoner.api.core.JSONDeductiveDatabase

Json object with given id (@id) is deleted

removeJsonObjects(Collection<String>) - Method in class com.semedy.reasoner.api.core.JSONDeductiveDatabase

Json objects with given ids (@id) are deleted

removeJsonObjects(Collection<String>, Configuration, Properties) - Method in class com.semedy.reasoner.api.core.JSONDeductiveDatabase

Json objects with given ids (@id) are deleted

removeJsonObjects(Collection<String>, String, Configuration, Properties) - Method in class com.semedy.reasoner.api.core.JSONDeductiveDatabase

Json objects with given ids (@id) are deleted

removeKey(KeyType, boolean) - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.BPlusTree

Removes the record from the tree.

removeLoader(String) - Method in class com.semedy.reasoner.api.edb.LoaderProvider

Remove importer by its format

removeLockFile(String) - Static method in class com.semedy.reasoner.core.TransactionLogHandler

remove lock file during shut down

removeNeighbour(Node) - Method in class com.semedy.reasoner.utils.Node

removeNode(int) - Method in class com.semedy.reasoner.edb.ramstore.AVLNodeStore

remove node

removeNode(Node) - Method in class com.semedy.reasoner.utils.Graph

remove a node from graph

removeNotInternalized(long) - Method in interface com.semedy.reasoner.api.symboltable.SymbolTable

remove a non internalized term from symbol table

removeNotInternalized(long) - Method in class com.semedy.reasoner.reasoning.processes.ReasoningSymbolTableNotInternalize

removeNotInternalized(long) - Method in class com.semedy.reasoner.symboltable.MultiSymbolTable

removeNotInternalized(long) - Method in class com.semedy.reasoner.symboltable.ReasoningSymbolTableRAM

removeNotInternalized(long) - Method in class com.semedy.reasoner.symboltable.SymbolTableBplus

remove a non internalized term

removeNotInternalized(long) - Method in class com.semedy.reasoner.symboltable.SymbolTableRAM

removeOperator(Process) - Method in class com.semedy.reasoner.reasoning.processes.ProcessExecutor

removeQuery(Rule) - Method in class com.semedy.reasoner.api.idb.IntensionalDB

remove a query either by its unique id or by the query text

removeRelation(String) - Method in class com.semedy.reasoner.api.edb.ExtensionalDB

removes all relations for predicate p

removeRewriter(int) - Method in class com.semedy.reasoner.api.rewriter.RewriterProvider

remove rewriter in rewriterList at index i

removeRule(Rule) - Method in class com.semedy.reasoner.api.idb.IntensionalDB

remove a rule either by the same id or by the same rule text

removerulebyid(String) - Method in class com.semedy.reasoner.api.idb.IntensionalDB

removeRuleById(String) - Method in class com.semedy.reasoner.api.core.DeductiveDatabase

remove a rule identified by the unique id.

removeRuleById(String) - Method in class com.semedy.reasoner.api.idb.IntensionalDB

remove a rule given by its unique id

removeRules(Collection<Rule>) - Method in class com.semedy.reasoner.api.core.DeductiveDatabase

Remove rules from the deductive database.

removeRulesAndFacts(String) - Method in class com.semedy.reasoner.api.core.DeductiveDatabase

remove rules and facts from text

removeSymbolTableIndex(SymbolTableIndex) - Method in interface com.semedy.reasoner.api.symboltable.SymbolTable

removes the given symbol table index.

removeSymbolTableIndex(SymbolTableIndex) - Method in class com.semedy.reasoner.reasoning.processes.ReasoningSymbolTableNotInternalize

removeSymbolTableIndex(SymbolTableIndex) - Method in class com.semedy.reasoner.symboltable.AbstractSymbolTable

removeSymbolTableIndex(SymbolTableIndex) - Method in class com.semedy.reasoner.symboltable.MultiSymbolTable

removeSymbolTableIndex(SymbolTableIndex) - Method in class com.semedy.reasoner.symboltable.ReasoningSymbolTableRAM

removeSymbolTableIndex(SymbolTableIndex) - Method in class com.semedy.reasoner.symboltable.SymbolTableBplus

removeSymbolTableIndex(SymbolTableIndex) - Method in class com.semedy.reasoner.symboltable.SymbolTableRAM

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

remove a tuple from the relation

removeTuple(int) - Method in interface com.semedy.reasoner.api.edb.PrimaryIndex

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

removeTuple(int) - Method in class com.semedy.reasoner.edb.ramstore.AVLTree

removeTuple(int) - Method in class com.semedy.reasoner.edb.ramstore.HashIndex

removeTuple(int) - Method in class com.semedy.reasoner.edb.ramstore.InvertedList

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

removeTuple(int) - Method in interface com.semedy.reasoner.edb.ramstore.MainMemoryIndex

additional remove method for main memory indices

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

removeTuple(int) - Method in class com.semedy.reasoner.edb.ramstore.MainMemorySubRelation

removeTuple(int) - Method in class com.semedy.reasoner.edb.ramstore.TupleStore

remove a tuple at address and with a certain length

removeTuple(int) - Method in class com.semedy.reasoner.reasoning.monitor.ReasoningMonitorRelation

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

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

removeTuple(int) - Method in class com.semedy.reasoner.reasoning.processes.ReasoningRelation

removeTuple(int, int) - Method in class com.semedy.reasoner.edb.ramstore.LinkedTupleLists

Remove a tuple from a list.

removeTuple(long[]) - Method in interface com.semedy.reasoner.api.edb.BaseRelation

remove a tuple from the relation

removeTuple(long[]) - Method in class com.semedy.reasoner.edb.persistentstore.PersistentRelation

removeTuple(long[]) - Method in class com.semedy.reasoner.edb.persistentstore.PersistentSecondarySortedIndex

removeTuple(long[]) - Method in class com.semedy.reasoner.edb.ramstore.MainMemoryBaseRelation

removeTuple(long[]) - Method in class com.semedy.reasoner.edb.ramstore.MainMemoryRelation

removeTuple(long[]) - Method in class com.semedy.reasoner.edb.ramstore.MainMemorySubRelation

removeTuple(long[]) - Method in class com.semedy.reasoner.edb.ramstore.MixedRelation

removeTuple(long[]) - Method in class com.semedy.reasoner.reasoning.monitor.RelationAdapter

removeTuple(long[]) - Method in class com.semedy.reasoner.reasoning.processes.CrossProductBaseRelation

removeTuple(long[]) - Method in class com.semedy.reasoner.reasoning.processes.ReasoningRelation

removeTuple(long, int) - Method in class com.semedy.reasoner.edb.ramstore.InvertedList

remove a tuple for term

removeTuple(long, String) - Method in interface com.semedy.reasoner.edb.zdb.InvertedIndex

remove a term

removeTuple(long, String) - Method in class com.semedy.reasoner.edb.zdb.InvertedIndexLucene

removeTuple(long, String) - Method in class com.semedy.reasoner.edb.zdb.InvertedIndexShingles

removeTuple(long, String, String) - Method in class com.semedy.reasoner.edb.zdb.InvertedIndices

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

remove a tuple from the relation

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

removeTuple(TupleBuffer) - Method in class com.semedy.reasoner.edb.persistentstore.PersistentSecondarySortedIndex

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

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

removeTuple(TupleBuffer) - Method in class com.semedy.reasoner.edb.ramstore.MainMemorySubRelation

removeTuple(TupleBuffer) - Method in class com.semedy.reasoner.edb.ramstore.MixedRelation

removeTuple(TupleBuffer) - Method in class com.semedy.reasoner.reasoning.monitor.ReasoningMonitorRelation

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

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

removeTuple(TupleBuffer) - Method in class com.semedy.reasoner.reasoning.processes.ReasoningRelation

removeTuple(String, TupleBuffer) - Method in class com.semedy.reasoner.api.edb.ExtensionalDB

remove a tuple from edb.

removeTupleFromIndices(String, long[], Object[]) - Method in class com.semedy.reasoner.api.edb.ExtensionalDB

remove tuple from edb indices

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

remove uid fields which have been added by GraphQL parser

renameTerm(Object, Object) - Method in class com.semedy.reasoner.reasoning.processes.ReasoningSymbolTableNotInternalize

reOpen() - Method in class com.semedy.reasoner.api.core.Core

reopen a core

reOpen() - Method in class com.semedy.reasoner.api.edb.ExtensionalDB

reopens a closed extensional database

reOpen() - Method in class com.semedy.reasoner.reasoning.processes.ReasoningSymbolTableNotInternalize

reOpen() - Method in class com.semedy.reasoner.symboltable.ReasoningSymbolTableRAM

RepairEDB - Class in com.semedy.reasoner.app

repairs an extensional database by
1. deleting corrupt indices
2. restoring damaged predicates from a backup and
3. replaying log files into symbol table and into predicate files.

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

repairIt(Configuration) - Method in class com.semedy.reasoner.app.RepairEDB

repairIt(String) - Method in class com.semedy.reasoner.app.RepairEDB

replace(byte[], byte[], int) - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.BPlusKeysVariableBytes

replace(byte[], int) - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.BPlusKeysVariableBytes

replace(long[], int) - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.BPlusKeysFixedLong

replace(long[], long[], int) - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.BPlusKeysFixedLong

replace(KeyType, int) - Method in interface com.semedy.reasoner.edb.persistentstore.bplustree.BPlusKeys

replaces key by replacement at index

replace(KeyType, int) - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.BPlusLeaf

replaces key at index by replacement key

replace(KeyType, KeyType) - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.BPlusInternalNode

This method is used when the tree has to delete something: it should have found an immediate predecessor to replace this value.

replace(KeyType, KeyType, int) - Method in interface com.semedy.reasoner.edb.persistentstore.bplustree.BPlusKeys

replaces key by replacement

replaceAll(UnaryOperator<byte[]>) - Method in class com.semedy.reasoner.utils.BytesArrayList

replaceAll(UnaryOperator<String>) - Method in class com.semedy.reasoner.utils.StringArrayList

replaceByBuffer(TupleBuffer, int) - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.BPlusKeysFixedLong

replaceByBuffer(ByteBuffer, int) - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.BPlusKeysVariableBytes

replaceByBuffer(KeyBufferType, int) - Method in interface com.semedy.reasoner.edb.persistentstore.bplustree.BPlusKeys

replaces key by replacement at index

replaceNotIndexedValues(long[], long[]) - Method in class com.semedy.reasoner.edb.persistentstore.PersistentSecondarySortedIndex

Modify tuple in index at non indexed positions.

replaceNotIndexedValues(TupleBuffer, TupleBuffer) - Method in class com.semedy.reasoner.edb.persistentstore.PersistentSecondarySortedIndex

Modify tuple in index at non indexed positions.

replay(Core, String, long) - Method in class com.semedy.reasoner.app.ReplayLogFile

replayLogfile(String) - Method in class com.semedy.reasoner.app.ReplayLogFileKevin

ReplayLogFile - Class in com.semedy.reasoner.app

exports specified predicates of edb

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

ReplayLogFileKevin - Class in com.semedy.reasoner.app

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

ReplayLogFileKevin(Configuration.StorageType) - Constructor for class com.semedy.reasoner.app.ReplayLogFileKevin

ReplayLogFileKevin(Core) - Constructor for class com.semedy.reasoner.app.ReplayLogFileKevin

replayTransactionLogs(String, ExtensionalDB, SymbolTable, ExternalDataTypeProvider) - Static method in class com.semedy.reasoner.core.TransactionLogHandler

Search for corrupted predicates in logdir and
Replay corresponding transaction log into edb relations.

replayTransactionLogs(List<String>, String, ExtensionalDB, SymbolTable, ExternalDataTypeProvider) - Static method in class com.semedy.reasoner.core.TransactionLogHandler

Replay transaction files of predicates.

report() - Static method in class com.semedy.reasoner.edb.persistentstore.FileHandler

reset() - Method in class com.semedy.reasoner.reasoning.processes.ProcessExecutor

reset1() - Method in class com.semedy.reasoner.reasoning.processes.BufferedStore

resetTestCode() - Static method in class com.semedy.reasoner.builtin.directfilter.DirectLessOrEqual

resetTransaction() - Method in interface com.semedy.reasoner.api.symboltable.SymbolTable

reset transaction

resetTransaction() - Method in class com.semedy.reasoner.reasoning.processes.ReasoningSymbolTableNotInternalize

resetTransaction() - Method in class com.semedy.reasoner.symboltable.MultiSymbolTable

resetTransaction() - Method in class com.semedy.reasoner.symboltable.ReasoningSymbolTableRAM

resetTransaction() - Method in class com.semedy.reasoner.symboltable.SymbolTableBplus

resetTransaction() - Method in class com.semedy.reasoner.symboltable.SymbolTableRAM

restore(String) - Method in class com.semedy.reasoner.app.RestoreFromIndex

restore(String, String) - Method in class com.semedy.reasoner.api.edb.ExtensionalDB

restore the edb from a backup file.

restore(String, String, ExternalDataTypeProvider, boolean, int) - Method in class com.semedy.reasoner.symboltable.SymbolTableBplus

restore(List<String>, boolean, String, String, String, String, ExternalDataTypeProvider, int) - Method in class com.semedy.reasoner.api.edb.ExtensionalDB

restore single predicates and/or symbol table from a backup file.

RestoreBackup - Class in com.semedy.reasoner.app

restores a backup

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

RestoreFromIndex - Class in com.semedy.reasoner.app

testores an ix file out of an iix file

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

RestoreFromIndex(String) - Constructor for class com.semedy.reasoner.app.RestoreFromIndex

restoreOld(String, String, String, String, ExternalDataTypeProvider, int) - Method in class com.semedy.reasoner.api.edb.ExtensionalDB

restore the edb from a backup file.

ResultBuffer - Interface in com.semedy.reasoner.api.core

ResultBufferNotThreaded - Class in com.semedy.reasoner.core

Buffer for results of queries.

ResultBufferNotThreaded(TupleBuffer, int, SymbolTable, List<String>) - Constructor for class com.semedy.reasoner.core.ResultBufferNotThreaded

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

Buffer for results of queries.

ResultBufferThreaded(long[], int, Object[], List<String>) - Constructor for class com.semedy.reasoner.api.core.ResultBufferThreaded

resultContainsEDBRelations() - Method in class com.semedy.reasoner.reasoning.processes.ResultReceiver

ResultEnumerator - Interface in com.semedy.reasoner.api.core

ResultEnumeratorNotThreaded - Class in com.semedy.reasoner.core

enumerator for reasoning results

ResultEnumeratorNotThreaded(List<TupleEnumerator>, int, SymbolTable, List<String>) - Constructor for class com.semedy.reasoner.core.ResultEnumeratorNotThreaded

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

enumerator for reasoning results

ResultEnumeratorThreaded(BlockingQueue<Object>, int, List<String>, CoreReadLock) - Constructor for class com.semedy.reasoner.api.core.ResultEnumeratorThreaded

the producer

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

container which collects reasoning results

ResultReceiver(InterruptFlag, Rule, int, ReasoningMonitor, boolean, boolean, String, boolean, long) - Constructor for class com.semedy.reasoner.reasoning.processes.ResultReceiver

resultsContainedEDBRelations() - Method in interface com.semedy.reasoner.api.reasoning.Reasoner

Have results contained whole edb relations?

resultsContainedEDBRelations() - Method in class com.semedy.reasoner.reasoning.ReasonerNotThreaded

resultsContainedEDBRelations() - Method in class com.semedy.reasoner.reasoning.ReasonerThreadedFactsPartitioning

resultsContainedEDBRelations() - Method in class com.semedy.reasoner.reasoning.ReasonerThreadedRulesPartitioning

resultsCreated() - Method in class com.semedy.reasoner.reasoning.processes.LiteralInformation

resultsSent() - Method in class com.semedy.reasoner.reasoning.processes.LiteralInformation

retainAll(Collection<?>) - Method in class com.semedy.reasoner.edb.loader.RDFLoader

retainAll(Collection<?>) - Method in class com.semedy.reasoner.parser.oologic.EDBCollectionAdapter

retainAll(Collection<?>) - Method in class com.semedy.reasoner.parser.oologic.IDBCollectionAdapter

retainAll(Collection<?>) - Method in class com.semedy.reasoner.parser.oologic.PredicateCollectionAdapter

retainAll(Collection<?>) - Method in class com.semedy.reasoner.utils.BytesArrayList

Retains only the elements in this list that are contained in the specified collection.

retainAll(Collection<?>) - Method in class com.semedy.reasoner.utils.StringArrayList

Retains only the elements in this list that are contained in the specified collection.

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

action built-in to remove tuples from extensional database

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

retractEncodedEvent(Object[]) - Method in class com.semedy.reasoner.api.builtin.SensorBuiltin

retracts an event with already coded values (longs)
triggers reasoning with this new info

retractEvent(Object[]) - Method in class com.semedy.reasoner.api.builtin.SensorBuiltin

withdraws an event from an external system/sensor and triggers reasoning with this new info

retractEvents(Relation) - Method in class com.semedy.reasoner.api.builtin.SensorBuiltin

retractResult(long[]) - Method in class com.semedy.reasoner.api.core.EventResultReceiver

a new result should be withdrawn

retractResult(long[]) - Method in class com.semedy.reasoner.api.core.MaterializationReceiver

retractResult(long[]) - Method in class com.semedy.reasoner.api.core.StoreEventResultReceiver

retract a result

retractResult(long[]) - Method in class com.semedy.reasoner.core.EmptyEventResultReceiver

retrieveJavaObjects(JavaObject, String) - Method in class com.semedy.reasoner.api.core.JavaDeductiveDatabase

Retrieve JavaObjects of class A.

retrieveJavaObjects(JavaObject, String, Configuration, Properties) - Method in class com.semedy.reasoner.api.core.JavaDeductiveDatabase

Retrieve JavaObjects of class A.

retrieveJsonObject(String, Configuration, Properties) - Method in class com.semedy.reasoner.api.core.JSONDeductiveDatabase

retrieve JSON object using the json identifier (@id)

retrieveJsonObjects(String) - Method in class com.semedy.reasoner.api.core.JSONDeductiveDatabase

Retrieve JSON Objects using an OO-logic query and a module.

retrieveJsonObjects(String, Configuration, Properties) - Method in class com.semedy.reasoner.api.core.JSONDeductiveDatabase

Retrieve JSON Objects using an OO-logic query.

retrieveJsonObjects(String, Properties) - Method in class com.semedy.reasoner.api.core.JSONDeductiveDatabase

Retrieve JSON Objects using an OO-logic query and a module.

retrieveJsonObjects(Collection<String>) - Method in class com.semedy.reasoner.api.core.JSONDeductiveDatabase

retrieve JSON objects using the json identifiers (@id)

retrieveJsonObjects(Collection<String>, boolean) - Method in class com.semedy.reasoner.api.core.JSONDeductiveDatabase

retrieve JSON objects using the json identifiers (@id)

retrieveJsonObjects(Collection<String>, boolean, Properties) - Method in class com.semedy.reasoner.api.core.JSONDeductiveDatabase

retrieve JSON objects using the json identifiers (@id)

retrieveJsonObjects(Collection<String>, Configuration, Properties) - Method in class com.semedy.reasoner.api.core.JSONDeductiveDatabase

retrieve JSON objects using the json identifiers (@id)

retrieveJsonObjects(Collection<String>, Configuration, Properties, boolean) - Method in class com.semedy.reasoner.api.core.JSONDeductiveDatabase

retrieve JSON objects using the json identifiers (@id)

retrieveJsons(JSONDeductiveDatabase, String, int, Properties) - Method in class com.semedy.reasoner.api.core.JSONCache

Retrieve JSON Objects as strings using an OO-logic query.

retrieveJsons(String, int, Configuration, Properties) - Method in class com.semedy.reasoner.api.core.JSONDeductiveDatabase

Retrieve JSON Objects using an OO-logic query.

retrieveJsons(String, Configuration, Properties) - Method in class com.semedy.reasoner.api.core.JSONDeductiveDatabase

Retrieve JSON Objects using an OO-logic query.

retrieveTuples(String, Configuration, Properties) - Method in class com.semedy.reasoner.api.core.JSONDeductiveDatabase

Retrieve tuples (variable substitutions) for a given query
E.g. query ?

rewrite(IntensionalDB, ExtensionalDB[]) - Method in class com.semedy.reasoner.rewriter.RuleReordering

rewrite(IntensionalDB, ExtensionalDB[], SymbolTable, ExternalDataTypeProvider, Configuration) - Method in interface com.semedy.reasoner.api.rewriter.Rewriter

applies the rewriter to a set of rules

rewrite(IntensionalDB, ExtensionalDB[], SymbolTable, ExternalDataTypeProvider, Configuration) - Method in class com.semedy.reasoner.core.QueryHandler

rewrite(IntensionalDB, ExtensionalDB[], SymbolTable, ExternalDataTypeProvider, Configuration) - Method in class com.semedy.reasoner.exercises.RemoveDoubleLiterals

rewrite(IntensionalDB, ExtensionalDB[], SymbolTable, ExternalDataTypeProvider, Configuration) - Method in class com.semedy.reasoner.rewriter.ActionRewriter

rewrite(IntensionalDB, ExtensionalDB[], SymbolTable, ExternalDataTypeProvider, Configuration) - Method in class com.semedy.reasoner.rewriter.AxiomInjector

rewrite(IntensionalDB, ExtensionalDB[], SymbolTable, ExternalDataTypeProvider, Configuration) - Method in class com.semedy.reasoner.rewriter.BetweenRewriter

rewrite(IntensionalDB, ExtensionalDB[], SymbolTable, ExternalDataTypeProvider, Configuration) - Method in class com.semedy.reasoner.rewriter.BottomUpOrderingRewriter

rewrite(IntensionalDB, ExtensionalDB[], SymbolTable, ExternalDataTypeProvider, Configuration) - Method in class com.semedy.reasoner.rewriter.BottomUpRuleSelector

rewrite(IntensionalDB, ExtensionalDB[], SymbolTable, ExternalDataTypeProvider, Configuration) - Method in class com.semedy.reasoner.rewriter.CompareRewriter

rewrite(IntensionalDB, ExtensionalDB[], SymbolTable, ExternalDataTypeProvider, Configuration) - Method in class com.semedy.reasoner.rewriter.DebuggingRewriter

rewrite(IntensionalDB, ExtensionalDB[], SymbolTable, ExternalDataTypeProvider, Configuration) - Method in class com.semedy.reasoner.rewriter.DynamicOptimizer

rewrite(IntensionalDB, ExtensionalDB[], SymbolTable, ExternalDataTypeProvider, Configuration) - Method in class com.semedy.reasoner.rewriter.ElementOfRewriter

rewrite(IntensionalDB, ExtensionalDB[], SymbolTable, ExternalDataTypeProvider, Configuration) - Method in class com.semedy.reasoner.rewriter.EliminateRedundantBodiesRewriter

rewrite(IntensionalDB, ExtensionalDB[], SymbolTable, ExternalDataTypeProvider, Configuration) - Method in class com.semedy.reasoner.rewriter.EqualRewriter

rewrite(IntensionalDB, ExtensionalDB[], SymbolTable, ExternalDataTypeProvider, Configuration) - Method in class com.semedy.reasoner.rewriter.FillNullRewriter

rewrite(IntensionalDB, ExtensionalDB[], SymbolTable, ExternalDataTypeProvider, Configuration) - Method in class com.semedy.reasoner.rewriter.FilterRewriter

rewrite(IntensionalDB, ExtensionalDB[], SymbolTable, ExternalDataTypeProvider, Configuration) - Method in class com.semedy.reasoner.rewriter.FolderRewriter

rewrite(IntensionalDB, ExtensionalDB[], SymbolTable, ExternalDataTypeProvider, Configuration) - Method in class com.semedy.reasoner.rewriter.FullFolderRewriter

rewrite(IntensionalDB, ExtensionalDB[], SymbolTable, ExternalDataTypeProvider, Configuration) - Method in class com.semedy.reasoner.rewriter.FunctionalRewriter

rewrite(IntensionalDB, ExtensionalDB[], SymbolTable, ExternalDataTypeProvider, Configuration) - Method in class com.semedy.reasoner.rewriter.IsaRewriter

rewrite(IntensionalDB, ExtensionalDB[], SymbolTable, ExternalDataTypeProvider, Configuration) - Method in class com.semedy.reasoner.rewriter.MagicSetRewriter

rewrite(IntensionalDB, ExtensionalDB[], SymbolTable, ExternalDataTypeProvider, Configuration) - Method in class com.semedy.reasoner.rewriter.ModuleRewriter

rewrite(IntensionalDB, ExtensionalDB[], SymbolTable, ExternalDataTypeProvider, Configuration) - Method in class com.semedy.reasoner.rewriter.PathRewriter

rewrite(IntensionalDB, ExtensionalDB[], SymbolTable, ExternalDataTypeProvider, Configuration) - Method in class com.semedy.reasoner.rewriter.PropagateConstantsRewriter

rewrite(IntensionalDB, ExtensionalDB[], SymbolTable, ExternalDataTypeProvider, Configuration) - Method in class com.semedy.reasoner.rewriter.PropagateConstraintsRewriter

rewrite(IntensionalDB, ExtensionalDB[], SymbolTable, ExternalDataTypeProvider, Configuration) - Method in class com.semedy.reasoner.rewriter.QueryRuleRewriter

rewrite(IntensionalDB, ExtensionalDB[], SymbolTable, ExternalDataTypeProvider, Configuration) - Method in class com.semedy.reasoner.rewriter.RewriterSkeleton

rewrite(IntensionalDB, ExtensionalDB[], SymbolTable, ExternalDataTypeProvider, Configuration) - Method in class com.semedy.reasoner.rewriter.SnapshotRewriter

rewrite(IntensionalDB, ExtensionalDB[], SymbolTable, ExternalDataTypeProvider, Configuration) - Method in class com.semedy.reasoner.rewriter.Splitter

rewrite(IntensionalDB, ExtensionalDB[], SymbolTable, ExternalDataTypeProvider, Configuration) - Method in class com.semedy.reasoner.rewriter.TopDownOrderingRewriter

rewrite(IntensionalDB, ExtensionalDB[], SymbolTable, ExternalDataTypeProvider, Configuration) - Method in class com.semedy.reasoner.rewriter.Unfolder

rewrite(IntensionalDB, ExtensionalDB[], SymbolTable, ExternalDataTypeProvider, Configuration, Properties) - Method in class com.semedy.reasoner.core.QueryHandler

rewrite(IntensionalDB, SymbolTable, String) - Method in class com.semedy.reasoner.rewriter.ModuleRewriter

Fill rules into module.

Rewriter - Interface in com.semedy.reasoner.api.rewriter

interface for a rewriter for rules.
A rewriter changes the set of rules for e.g. optimization

RewriterException - Exception Class in com.semedy.reasoner.api.rewriter

RewriterException(String) - Constructor for exception class com.semedy.reasoner.api.rewriter.RewriterException

RewriterException(String, Throwable) - Constructor for exception class com.semedy.reasoner.api.rewriter.RewriterException

RewriterProvider - Class in com.semedy.reasoner.api.rewriter

manages a list of rule rewriters and the sequence they are applied to the intensional database

RewriterProvider(BuiltinProvider) - Constructor for class com.semedy.reasoner.api.rewriter.RewriterProvider

RewriterSkeleton - Class in com.semedy.reasoner.rewriter

This rewriter ....

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

rewriteRule(Rule, BuiltinProvider) - Method in class com.semedy.reasoner.reasoning.processes.RuleSimplifier

right(int) - Method in class com.semedy.reasoner.edb.ramstore.AVLNodeStore

get the right node

rightBrother(BPlusNode<KeyType, KeyBufferType>, boolean) - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.BPlusTree

get the right brother of a node

rightSibling(BPlusNode<KeyType, KeyBufferType>, boolean) - Method in class com.semedy.reasoner.edb.persistentstore.bplustree.BPlusTree

get the right sibling of a node

rollback() - Method in interface com.semedy.reasoner.api.symboltable.SymbolTable

rollback transaction

rollback() - Method in class com.semedy.reasoner.edb.persistentstore.BplusIndexBytes

rollback() - Method in class com.semedy.reasoner.reasoning.processes.ReasoningSymbolTableNotInternalize

rollback() - Method in class com.semedy.reasoner.symboltable.MultiSymbolTable

rollback() - Method in class com.semedy.reasoner.symboltable.ReasoningSymbolTableRAM

rollback() - Method in class com.semedy.reasoner.symboltable.SymbolTableBplus

rollback() - Method in class com.semedy.reasoner.symboltable.SymbolTableRAM

rootOperationTypeDefinition() - Method in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

rootOperationTypeDefinition() - Method in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser.SchemaDefinitionContext

rootOperationTypeDefinition(int) - Method in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser.SchemaDefinitionContext

RootOperationTypeDefinitionContext(ParserRuleContext, int) - Constructor for class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser.RootOperationTypeDefinitionContext

Rule - Class in com.semedy.reasoner.api.logic

object to represent a rule.

Rule(String, Literal, Literal[]) - Constructor for class com.semedy.reasoner.api.logic.Rule

Rule(String, Literal, List<Literal>) - Constructor for class com.semedy.reasoner.api.logic.Rule

RULE_aggregation - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_aggregationWithGrouping - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_aggregationWithoutGrouping - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_alias - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_argument - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_argument - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_arguments - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_arguments - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_argumentsDefinition - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_assignmentAtom - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_atom - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_atomWOModule - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_booleanValue - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_boolExpression - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_builtinAtom - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_compareAtom - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_constraint - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_constraints - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_defaultValue - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_definition - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_description - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_directive - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_directiveDefinition - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_directiveLocation - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_directiveLocations - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_directives - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_document - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_edge - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_enumeration - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_enumTypeDefinition - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_enumTypeExtension - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_enumValue - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_enumValueDefinition - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_enumValuesDefinition - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_executableDefinition - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_executableDirectiveLocation - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_expression - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_fact - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_facts_and_rules - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_field - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_fieldDefinition - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_fieldsDefinition - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_floatValue - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_fragmentDefinition - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_fragmentName - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_fragmentSpread - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_function - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_groundTerm - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_headatoms - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_implementsInterfaces - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_implies - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_inlineFragment - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_inputFieldsDefinition - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_inputObjectTypeDefinition - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_inputObjectTypeExtension - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_inputValueDefinition - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_inputVariables - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_interfaceTypeDefinition - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_interfaceTypeExtension - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_intValue - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_listType - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_listValue - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_literal - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_literals - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_module - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_name - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_namedType - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_nullValue - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_number - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_objectField - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_objectTypeDefinition - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_objectTypeExtension - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_objectValue - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_ooMemberAtom - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_ooProperties - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_ooProperty - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_ooPropertyAtom - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_ooPropertyName - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_ooPropertyValue - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_ooSubClassAtom - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_operationDefinition - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_operationType - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_operationTypeDefinition - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_orList - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_partof - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_path - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_path - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_pathExpression - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_predicateAtom - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_propertyname - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_queries - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_query - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_quotedString - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_reasoningRule - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_rootOperationTypeDefinition - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_ruleAtom - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_scalarTypeDefinition - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_scalarTypeExtension - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_schemaDefinition - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_schemaExtension - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_selection - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_selectionSet - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_semicolon - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_set - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_simpleBoolExpression - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_simpleExpression - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_stringValue - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_subway - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_term - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_type_ - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_typeCondition - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_typeDefinition - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_typeExtension - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_typeSystemDefinition - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_typeSystemDirectiveLocation - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_typeSystemExtension - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_unionMemberTypes - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_unionTypeDefinition - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_unionTypeExtension - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_value - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_variable - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_variable - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_variableDefinition - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_variableDefinitions - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

RULE_variables - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RULE_way - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

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

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

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

RuleBodyPermutation - Class in com.semedy.reasoner.utils

Creates and handles rule body permutations

RuleBodyPermutation(int[]) - Constructor for class com.semedy.reasoner.utils.RuleBodyPermutation

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

RuleCompiler(InterruptFlag, ReasoningMonitor, SystemMonitor, IntensionalDB, Options, SymbolTable, BuiltinProvider, ExtensionalDB[], boolean, boolean, SimpleSemaphore, String, boolean, boolean, Properties) - Constructor for class com.semedy.reasoner.reasoning.processes.RuleCompiler

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

RuleEvaluator(InterruptFlag, ReasoningMonitor, Rule, Rule, Literal[], boolean, boolean, ProcessExecutor, Schemas) - Constructor for class com.semedy.reasoner.reasoning.processes.RuleEvaluator

RuleGraph - Class in com.semedy.reasoner.idb

RuleGraph(SymbolTable) - Constructor for class com.semedy.reasoner.idb.RuleGraph

RuleGraphNode - Class in com.semedy.reasoner.idb

RuleGraphNode(Literal) - Constructor for class com.semedy.reasoner.idb.RuleGraphNode

RuleGraphNode(Rule) - Constructor for class com.semedy.reasoner.idb.RuleGraphNode

RuleGraphNodeInfo - Class in com.semedy.reasoner.idb

RuleGraphNodeInfo(Literal) - Constructor for class com.semedy.reasoner.idb.RuleGraphNodeInfo

RuleGraphNodeInfo(Rule) - Constructor for class com.semedy.reasoner.idb.RuleGraphNodeInfo

RuleInduction - Class in com.semedy.reasoner.induction

Rule induction for OO-Logic

RuleInduction(Relation, Relation, String, List<String>, Core) - Constructor for class com.semedy.reasoner.induction.RuleInduction

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

ruleNames - Static variable in class com.semedy.reasoner.parser.graphql.GraphQLGrammarParser

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

ruleNames - Static variable in class com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

RuleParser - Class in com.semedy.reasoner.api.parser

Parser for rules.

RuleParser(SymbolTable, ExternalDataTypeProvider, BuiltinProvider) - Constructor for class com.semedy.reasoner.api.parser.RuleParser

RuleParser(SymbolTable, ExternalDataTypeProvider, BuiltinProvider, InvertedIndices) - Constructor for class com.semedy.reasoner.api.parser.RuleParser

RuleReordering - Class in com.semedy.reasoner.rewriter

RuleReordering(SIPS, SymbolTable) - Constructor for class com.semedy.reasoner.rewriter.RuleReordering

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

RuleSimplifier(boolean) - Constructor for class com.semedy.reasoner.reasoning.processes.RuleSimplifier

ruleToString(Rule, SymbolTable) - Method in class com.semedy.reasoner.api.idb.IntensionalDB

return an OO-Logic representation of the rule

run() - Method in class com.semedy.reasoner.app.JsonProblemMinimizer

Run the minimizer
and store the results in temp directory (given in CheckBug).

run() - Method in class com.semedy.reasoner.app.ProblemMinimizer

Run the minimizer
and store the results in temp directory (given in CheckBug).

run() - Method in class com.semedy.reasoner.builtin.sensor.ListenerThread

run() - Method in class com.semedy.reasoner.core.IntermediateResultConsumer

run() - Method in class com.semedy.reasoner.reasoning.ReasoningFactsRegisterThread

run() - Method in class com.semedy.reasoner.reasoning.ReasoningFactsThread

run() - Method in class com.semedy.reasoner.reasoning.ReasoningRulesThread

run() - Method in class com.semedy.reasoner.reasoning.ReasoningThread

RunThroughValue - Class in com.semedy.reasoner.app

exports specified predicates of edb

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

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