Uses of Class
com.semedy.reasoner.api.logic.Literal
Packages that use Literal
Package
Description
-
Uses of Literal in com.semedy.reasoner.api.builtin
Methods in com.semedy.reasoner.api.builtin with parameters of type LiteralModifier and TypeMethodDescriptionboolean
BuiltinProvider.createsNewObjects
(String fullname, BitSet variablesinstantiation, Literal literal) indicates whether a built-in creates new objectslong
Every built-in provides a weight measure.boolean
BuiltinProvider.isEvaluable
(String fullname, BitSet variablesinstantiation, Literal literal) returns whether a built-in with a certain variable instantiation
is evaluable. -
Uses of Literal in com.semedy.reasoner.api.core
Methods in com.semedy.reasoner.api.core that return types with arguments of type LiteralMethods in com.semedy.reasoner.api.core with parameters of type LiteralModifier and TypeMethodDescriptionboolean
Add a fact to the deductive database.void
DebuggingMonitor.postBuiltinExecution
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, long numResultTuples, ReasoningRelation result, String msg) void
DebuggingMonitor.postJoin
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, long numResultTuples, ReasoningRelation result, String joinType, String msg) void
DebuggingMonitor.preBuiltinExecution
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, String msg) void
DebuggingMonitor.preJoin
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, String msg) boolean
DeductiveDatabase.removeFact
(Literal L) Remove a fact from the deductive database.boolean
DeductiveDatabase.removeFactEncoded
(Literal L) Remove a fact from the deductive database.Method parameters in com.semedy.reasoner.api.core with type arguments of type LiteralModifier and TypeMethodDescriptionboolean
DeductiveDatabase.addFacts
(Collection<Literal> facts) Add facts to the deductive database.boolean
DeductiveDatabase.removeFacts
(Collection<Literal> facts) Remove facts from the deductive database.boolean
DeductiveDatabase.removeFactsEncoded
(Collection<Literal> facts) Remove facts from the deductive database.Constructors in com.semedy.reasoner.api.core with parameters of type LiteralModifierConstructorDescriptionMaterializationReceiver
(InterruptFlag interruptFlag, Literal literal, DeductiveDatabase ddb, ExtensionalDB edb, SymbolTable symbols, SymbolTable reasoningSymbols) -
Uses of Literal in com.semedy.reasoner.api.edb
Constructor parameters in com.semedy.reasoner.api.edb with type arguments of type LiteralModifierConstructorDescriptionExtensionalDB
(String edbdir, String tempdir, String logDir, Configuration.StorageType storage, Set<String> excludedPredicates, long maxtermstoload, boolean compress, List<Literal> partition, boolean transactionLog, String[] indexedprops, Configuration config) ExtensionalDB
(List<Literal> partitions, Configuration config) Partitioning
(ExtensionalDB extensionalDB, String predicate, List<Literal> filters, String dir) -
Uses of Literal in com.semedy.reasoner.api.idb
Methods in com.semedy.reasoner.api.idb with parameters of type LiteralModifier and TypeMethodDescriptionIntensionalDB.feedingRules
(Literal body) delivers a list of all rules feeding into bodyint
IntensionalDB.getStrongComponentsIdentifier
(Literal L) return the identifier of the strong component of Lboolean
IntensionalDB.isRecursive
(Literal L) is the (body) literal involved in a recursion? -
Uses of Literal in com.semedy.reasoner.api.logic
Methods in com.semedy.reasoner.api.logic that return LiteralModifier and TypeMethodDescriptionLiteral.clone()
clone itRule.getBody
(int i) returns body literal at index iLiteral[]
Rule.getBodyLiterals()
get all body literalsRule.getHead()
returns the head of the rule, null if rule is a queryLiteral.getNormalized()
get a normalized version (all variables are renamed to Xi)Literal.getNormalizedRenumber()
get a normalized version and renumber variablesLiteral.getOriginal()
returns the original of the literal.Constructors in com.semedy.reasoner.api.logic with parameters of type LiteralModifierConstructorDescriptionLiteral
(String symbol, long symbolcode, boolean positive, Object[] arguments, int uniqueId, Literal original) Constructor parameters in com.semedy.reasoner.api.logic with type arguments of type Literal -
Uses of Literal in com.semedy.reasoner.api.reasoning
Methods in com.semedy.reasoner.api.reasoning with parameters of type LiteralModifier and TypeMethodDescriptionvoid
DefaultReasoningMonitor.postBuiltinExecution
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, long numResultTuples, ReasoningRelation result, String msg) void
ReasoningMonitor.postBuiltinExecution
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, long numResultTuples, ReasoningRelation result, String msg) Called after a built-in has been executedvoid
DefaultReasoningMonitor.postJoin
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, long numResultTuples, ReasoningRelation result, String joinType, String msg) void
ReasoningMonitor.postJoin
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, long numResultTuples, ReasoningRelation result, String joinType, String msg) Called after a join or negation is executed.void
DefaultReasoningMonitor.preBuiltinExecution
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, String msg) void
ReasoningMonitor.preBuiltinExecution
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, String msg) Called before a built-in is executed (only for aggregations or connector built-ins)void
DefaultReasoningMonitor.preJoin
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, String msg) void
ReasoningMonitor.preJoin
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, String msg) Called before a join or negation is executed. -
Uses of Literal in com.semedy.reasoner.app
Methods in com.semedy.reasoner.app with parameters of type LiteralModifier and TypeMethodDescriptionvoid
DebuggingMonitor.postBuiltinExecution
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, long numResultTuples, ReasoningRelation result, String msg) void
DebuggingMonitor.postJoin
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, long numResultTuples, ReasoningRelation result, String joinType, String msg) void
DebuggingMonitor.preBuiltinExecution
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, String msg) void
DebuggingMonitor.preJoin
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, String msg) -
Uses of Literal in com.semedy.reasoner.core
Methods in com.semedy.reasoner.core that return types with arguments of type LiteralModifier and TypeMethodDescriptionJsonUtils.createLiterals
(Collection<org.json.JSONObject> jsons, TermParser parser, String module, boolean encode, Set<String> setProperties) Creating literals out of a set of Json objectsJsonUtils.createLiterals
(List<Object[]> triples, Object module) JsonUtils.createLiterals
(org.json.JSONObject json, TermParser parser, Object module, boolean encode, Set<String> setProperties) Creating literals out of a json objectJsonUtils.createLiteralsEncoded
(Collection<Object[]> triples) create a set of literals out of a set of encoded triplesJsonUtils.createLiteralsEncoded
(Collection<Object[]> triples, Object module) create a set of literals out of a set of encoded triplesMethods in com.semedy.reasoner.core with parameters of type LiteralModifier and TypeMethodDescriptionvoid
JsonMonitor.postBuiltinExecution
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, long numResultTuples, ReasoningRelation result, String msg) void
JsonMonitor.postJoin
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, long numResultTuples, ReasoningRelation result, String joinType, String msg) void
JsonMonitor.preBuiltinExecution
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, String msg) void
JsonMonitor.preJoin
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, String msg) -
Uses of Literal in com.semedy.reasoner.idb
Methods in com.semedy.reasoner.idb that return LiteralMethods in com.semedy.reasoner.idb that return types with arguments of type LiteralMethods in com.semedy.reasoner.idb with parameters of type LiteralModifier and TypeMethodDescriptionRuleGraph.feedingRules
(Literal body) RuleGraph.getBodyToHeads
(Literal body) E.g. forConstructors in com.semedy.reasoner.idb with parameters of type Literal -
Uses of Literal in com.semedy.reasoner.parser.oologic
Methods in com.semedy.reasoner.parser.oologic that return types with arguments of type LiteralModifier and TypeMethodDescriptionEDBCollectionAdapter.iterator()
PredicateCollectionAdapter.iterator()
Methods in com.semedy.reasoner.parser.oologic with parameters of type LiteralModifier and TypeMethodDescriptionboolean
boolean
Method parameters in com.semedy.reasoner.parser.oologic with type arguments of type LiteralModifier and TypeMethodDescriptionboolean
EDBCollectionAdapter.addAll
(Collection<? extends Literal> c) boolean
PredicateCollectionAdapter.addAll
(Collection<? extends Literal> c) -
Uses of Literal in com.semedy.reasoner.reasoning
Methods in com.semedy.reasoner.reasoning with parameters of type LiteralModifier and TypeMethodDescriptionvoid
TestMonitor.postBuiltinExecution
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, long numResultTuples, ReasoningRelation result, String msg) void
TestMonitor.postJoin
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, long numResultTuples, ReasoningRelation result, String joinType, String msg) void
TestMonitor.preBuiltinExecution
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, String msg) void
TestMonitor.preJoin
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, String msg) -
Uses of Literal in com.semedy.reasoner.reasoning.monitor
Methods in com.semedy.reasoner.reasoning.monitor with parameters of type LiteralModifier and TypeMethodDescriptionvoid
DefaultReasoningMonitor.postBuiltinExecution
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, long numResultTuples, ReasoningRelation result, String msg) void
DefaultReasoningMonitor.postJoin
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, long numResultTuples, ReasoningRelation result, String joinType, String msg) void
DefaultReasoningMonitor.preBuiltinExecution
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, String msg) void
DefaultReasoningMonitor.preJoin
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, String msg) -
Uses of Literal in com.semedy.reasoner.reasoning.processes
Methods in com.semedy.reasoner.reasoning.processes with parameters of type LiteralModifier and TypeMethodDescriptionStatisticsCollector.getLiteralInformation
(Rule rule, Literal body) SystemMonitor.getLiteralInformation
(String query, Rule rule, Literal body) void
StatisticsCollector.postBuiltinExecution
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, long numResultTuples, ReasoningRelation result, String msg) void
SystemReasoningMonitor.postBuiltinExecution
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, long numResultTuples, ReasoningRelation result, String msg) void
StatisticsCollector.postJoin
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, long numResultTuples, ReasoningRelation result, String joinType, String msg) void
SystemMonitor.postJoin
(String queryKey, Rule rule, Literal body, Literal originalLiteral, ReasoningRelation[] relationA, ReasoningRelation[] relationB, long numResultTuples, long sentTuples, String joinType) void
SystemReasoningMonitor.postJoin
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, long numResultTuples, ReasoningRelation result, String joinType, String msg) void
StatisticsCollector.preBuiltinExecution
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, String msg) void
SystemReasoningMonitor.preBuiltinExecution
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, String msg) void
StatisticsCollector.preJoin
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, String msg) void
SystemMonitor.preJoin
(Rule rule, Literal literal, String operatorName, String receiverName, Relation[] relationA, Relation[] relationB, String msg) void
SystemReasoningMonitor.preJoin
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, String msg) Method parameters in com.semedy.reasoner.reasoning.processes with type arguments of type LiteralModifier and TypeMethodDescriptionBinaryPattern.getProcess
(List<Literal> remainingLiterals) abstract Process
BodyPattern.getProcess
(List<Literal> remainingLiterals) Constructors in com.semedy.reasoner.reasoning.processes with parameters of type LiteralModifierConstructorDescriptionMatch
(int i, InterruptFlag interruptFlag, VariableHandler vh, Literal body, SymbolTable symboltable, ReasoningMonitor monitor) RuleEvaluator
(InterruptFlag interruptFlag, ReasoningMonitor monitor, Rule rule, Rule originalRule, Literal[] originalBodies, boolean extensional, boolean streamReasoning, ProcessExecutor pE, Schemas schemas) SubstituteFunction
(int i, InterruptFlag interruptFlag, VariableHandler vh, Literal body, SymbolTable symboltable, ReasoningMonitor monitor) TestEqual
(int i, InterruptFlag interruptFlag, VariableHandler variableHandler, Literal body, ReasoningMonitor monitor) TopDown
(InterruptFlag interruptflag, int[] mapping, long[] groundterms, int[] groundpositions, int destarity, Literal topLiteral, Literal magic, ProcessExecutor executor, ReasoningMonitor monitor) TopDownTrigger
(InterruptFlag interruptflag, Literal topLiteral, Literal magic, ReasoningMonitor monitor, boolean cepReasoning) -
Uses of Literal in com.semedy.reasoner.rewriter
Methods in com.semedy.reasoner.rewriter with parameters of type LiteralModifier and TypeMethodDescriptionboolean
MagicSetRewriter.goDown
(Literal l, BitSet boundVariables, String label, IntensionalDB oldIdb, IntensionalDB newIdb, ExtensionalDB[] edbs, SymbolTable symbols) boolean
TopDownOrderingRewriter.goDown
(Literal l, BitSet boundVariables, String label, IntensionalDB oldIdb, IntensionalDB newIdb, ExtensionalDB[] edbs, SymbolTable symbols) -
Uses of Literal in com.semedy.reasoner.rewriter.sips
Methods in com.semedy.reasoner.rewriter.sips that return LiteralMethods in com.semedy.reasoner.rewriter.sips with parameters of type LiteralConstructors in com.semedy.reasoner.rewriter.sips with parameters of type Literal -
Uses of Literal in com.semedy.reasoner.utils
Methods in com.semedy.reasoner.utils with parameters of type LiteralModifier and TypeMethodDescriptionvoid
ReasoningMonitorTimes.postBuiltinExecution
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, long numResultTuples, ReasoningRelation result, String msg) void
ReasoningMonitorTimes.postJoin
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, long numResultTuples, ReasoningRelation result, String joinType, String msg) void
ReasoningMonitorTimes.preBuiltinExecution
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, String msg) void
ReasoningMonitorTimes.preJoin
(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, String msg) static String
OOlogicShape.toString
(Literal L, boolean magic, SymbolTable symbols, BuiltinProvider builtins) return OO-logic syntax for literal Lstatic String
OOlogicShape.toString
(Literal L, SymbolTable symbols, BuiltinProvider builtins) return OO-logic syntax for literal L