Uses of Class
com.semedy.reasoner.api.logic.Literal

Packages that use Literal

Package	Description
com.semedy.reasoner.api.builtin
com.semedy.reasoner.api.core
com.semedy.reasoner.api.edb
com.semedy.reasoner.api.idb
com.semedy.reasoner.api.logic
com.semedy.reasoner.api.reasoning
com.semedy.reasoner.app
com.semedy.reasoner.core
com.semedy.reasoner.idb
com.semedy.reasoner.parser.oologic
com.semedy.reasoner.reasoning
com.semedy.reasoner.reasoning.monitor
com.semedy.reasoner.reasoning.processes
com.semedy.reasoner.rewriter
com.semedy.reasoner.rewriter.sips
com.semedy.reasoner.utils

Uses of Literal in com.semedy.reasoner.api.builtin

Methods in com.semedy.reasoner.api.builtin with parameters of type Literal

Modifier and Type	Method	Description
boolean	BuiltinProvider.createsNewObjects(String fullname, BitSet variablesinstantiation, Literal literal)	indicates whether a built-in creates new objects
long	BuiltinProvider.getWeight(String fullname, BitSet variablesinstantiation, Literal literal)	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 Literal

Modifier and Type	Method	Description
List<Literal>	Core.getPartitioningLiterals()	get partitioning literals

Methods in com.semedy.reasoner.api.core with parameters of type Literal

Modifier and Type	Method	Description
boolean	DeductiveDatabase.addFact(Literal L)	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 Literal

Modifier and Type	Method	Description
boolean	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 Literal

Modifier	Constructor	Description
	MaterializationReceiver(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 Literal

Modifier	Constructor	Description
	ExtensionalDB(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 Literal

Modifier and Type	Method	Description
List<Rule>	IntensionalDB.feedingRules(Literal body)	delivers a list of all rules feeding into body
int	IntensionalDB.getStrongComponentsIdentifier(Literal L)	return the identifier of the strong component of L
boolean	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 Literal

Modifier and Type	Method	Description
Literal	Literal.clone()	clone it
Literal	Rule.getBody(int i)	returns body literal at index i
Literal[]	Rule.getBodyLiterals()	get all body literals
Literal	Rule.getHead()	returns the head of the rule, null if rule is a query
Literal	Literal.getNormalized()	get a normalized version (all variables are renamed to Xi)
Literal	Literal.getNormalizedRenumber()	get a normalized version and renumber variables
Literal	Literal.getOriginal()	returns the original of the literal.

Constructors in com.semedy.reasoner.api.logic with parameters of type Literal

Modifier	Constructor	Description
	Literal(String symbol, boolean positive, Object[] arguments, Literal original)
	Literal(String symbol, long symbolcode, boolean positive, Object[] arguments, int uniqueId, Literal original)
	Literal(String symbol, long symbolcode, boolean positive, Object[] arguments, Literal original)
	Rule(String id, Literal head, Literal[] bodies)
	Rule(String id, Literal head, List<Literal> bodies)

Constructor parameters in com.semedy.reasoner.api.logic with type arguments of type Literal

Modifier	Constructor	Description
	Rule(String id, Literal head, List<Literal> bodies)

Uses of Literal in com.semedy.reasoner.api.reasoning

Methods in com.semedy.reasoner.api.reasoning with parameters of type Literal

Modifier and Type	Method	Description
void	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 executed
void	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 Literal

Modifier and Type	Method	Description
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)

Uses of Literal in com.semedy.reasoner.core

Methods in com.semedy.reasoner.core that return types with arguments of type Literal

Modifier and Type	Method	Description
static List<Literal>	JsonUtils.createLiterals(Collection<org.json.JSONObject> jsons, TermParser parser, String module, boolean encode, Set<String> setProperties)	Creating literals out of a set of Json objects
static List<Literal>	JsonUtils.createLiterals(List<Object[]> triples, Object module)
static List<Literal>	JsonUtils.createLiterals(org.json.JSONObject json, TermParser parser, Object module, boolean encode, Set<String> setProperties)	Creating literals out of a json object
static List<Literal>	JsonUtils.createLiteralsEncoded(Collection<Object[]> triples)	create a set of literals out of a set of encoded triples
static List<Literal>	JsonUtils.createLiteralsEncoded(Collection<Object[]> triples, Object module)	create a set of literals out of a set of encoded triples

Methods in com.semedy.reasoner.core with parameters of type Literal

Modifier and Type	Method	Description
void	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 Literal

Modifier and Type	Method	Description
Literal	RuleGraphNode.getLiteral()
Literal	RuleGraphNodeInfo.getLiteral()

Methods in com.semedy.reasoner.idb that return types with arguments of type Literal

Modifier and Type	Method	Description
List<Literal>	RuleGraph.getHeadToBodies(Rule rule)	E.g. for

Methods in com.semedy.reasoner.idb with parameters of type Literal

Modifier and Type	Method	Description
List<Rule>	RuleGraph.feedingRules(Literal body)
List<Rule>	RuleGraph.getBodyToHeads(Literal body)	E.g. for

Constructors in com.semedy.reasoner.idb with parameters of type Literal

Modifier	Constructor	Description
	RuleGraphNode(Literal literal)
	RuleGraphNodeInfo(Literal literal)

Uses of Literal in com.semedy.reasoner.parser.oologic

Methods in com.semedy.reasoner.parser.oologic that return types with arguments of type Literal

Modifier and Type	Method	Description
Iterator<Literal>	EDBCollectionAdapter.iterator()
Iterator<Literal>	PredicateCollectionAdapter.iterator()

Methods in com.semedy.reasoner.parser.oologic with parameters of type Literal

Modifier and Type	Method	Description
boolean	EDBCollectionAdapter.add(Literal e)
boolean	PredicateCollectionAdapter.add(Literal e)

Method parameters in com.semedy.reasoner.parser.oologic with type arguments of type Literal

Modifier and Type	Method	Description
boolean	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 Literal

Modifier and Type	Method	Description
void	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 Literal

Modifier and Type	Method	Description
void	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 Literal

Modifier and Type	Method	Description
LiteralInformation	StatisticsCollector.getLiteralInformation(Rule rule, Literal body)
LiteralInformation	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 Literal

Modifier and Type	Method	Description
ProcessImp	BinaryPattern.getProcess(List<Literal> remainingLiterals)
abstract Process	BodyPattern.getProcess(List<Literal> remainingLiterals)

Constructors in com.semedy.reasoner.reasoning.processes with parameters of type Literal

Modifier	Constructor	Description
	Match(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 Literal

Modifier and Type	Method	Description
boolean	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 Literal

Modifier and Type	Method	Description
Literal	WeightedLiteral.getLiteral()

Methods in com.semedy.reasoner.rewriter.sips with parameters of type Literal

Modifier and Type	Method	Description
void	WeightedLiteral.setValues(Literal literal, double weight)

Constructors in com.semedy.reasoner.rewriter.sips with parameters of type Literal

Modifier	Constructor	Description
	WeightedLiteral(Literal literal)

Uses of Literal in com.semedy.reasoner.utils

Methods in com.semedy.reasoner.utils with parameters of type Literal

Modifier and Type	Method	Description
void	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 L
static String	OOlogicShape.toString(Literal L, SymbolTable symbols, BuiltinProvider builtins)	return OO-logic syntax for literal L