Uses of Class
com.semedy.reasoner.api.builtin.BuiltinProvider

Packages that use BuiltinProvider

Package	Description
com.semedy.reasoner.api.core
com.semedy.reasoner.api.edb
com.semedy.reasoner.api.idb
com.semedy.reasoner.api.parser
com.semedy.reasoner.api.reasoning
com.semedy.reasoner.api.rewriter
com.semedy.reasoner.app
com.semedy.reasoner.builtin
com.semedy.reasoner.builtin.action
com.semedy.reasoner.builtin.filter
com.semedy.reasoner.builtin.relational
com.semedy.reasoner.core
com.semedy.reasoner.exercises
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 BuiltinProvider in com.semedy.reasoner.api.core

Methods in com.semedy.reasoner.api.core that return BuiltinProvider

Modifier and Type	Method	Description
BuiltinProvider	Core.getBuiltinProvider()	returns the container for built-ins

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

Modifier and Type	Method	Description
void	DebuggingMonitor.setBuiltins(BuiltinProvider builtins)

Uses of BuiltinProvider in com.semedy.reasoner.api.edb

Methods in com.semedy.reasoner.api.edb with parameters of type BuiltinProvider

Modifier and Type	Method	Description
void	ExtensionalDB.loadFactsFiles(List<String> files, boolean deleteold, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, BuiltinProvider builtins)	reads facts files in ordinary predicate form

Uses of BuiltinProvider in com.semedy.reasoner.api.idb

Methods in com.semedy.reasoner.api.idb with parameters of type BuiltinProvider

Modifier and Type	Method	Description
void	IntensionalDB.loadRuleFiles(List<String> files, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, BuiltinProvider builtins)	load rules from file
IntensionalDB	IntensionalDB.selectRules(List<Rule> rules, BuiltinProvider builtins)	select all rules transitively feeding into rules
boolean	IntensionalDB.stratifyRules(BuiltinProvider builtins)	stratify the rule set, i.e. assign to each rule a stratum

Uses of BuiltinProvider in com.semedy.reasoner.api.parser

Constructors in com.semedy.reasoner.api.parser with parameters of type BuiltinProvider

Modifier	Constructor	Description
	RuleParser(SymbolTable symbolTable, ExternalDataTypeProvider dataTypeProvider, BuiltinProvider builtins)
	RuleParser(SymbolTable symbolTable, ExternalDataTypeProvider dataTypeProvider, BuiltinProvider builtins, InvertedIndices invertedIndex)

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

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

Modifier and Type	Method	Description
void	DefaultReasoningMonitor.setBuiltins(BuiltinProvider builtins)
void	ReasoningMonitor.setBuiltins(BuiltinProvider builtins)	Set the builtin provider
boolean	Reasoner.test(Reader in, SymbolTable baseTable, ExternalDataTypeProvider datatypes, ExtensionalDB edb, boolean topdown, String path, BuiltinProvider builtinProvider, RewriterProvider rewriterProvider, Configuration config, Properties prp)	Testing the evaluation.

Uses of BuiltinProvider in com.semedy.reasoner.api.rewriter

Methods in com.semedy.reasoner.api.rewriter with parameters of type BuiltinProvider

Modifier and Type	Method	Description
IntensionalDB	RewriterProvider.applyRewriter(IntensionalDB input, ExtensionalDB[] edbs, SymbolTable symbols, ExternalDataTypeProvider datatypes, BuiltinProvider builtins, SystemMonitor statistics, Configuration config, Properties prp)	Apply rewriters of rewriterList in that sequence which is given by their indices and indicated by their enumeration
void	Rewriter.setBuiltinProvider(BuiltinProvider builtinProvider)	sets the built-in provider for the rewriter

Constructors in com.semedy.reasoner.api.rewriter with parameters of type BuiltinProvider

Modifier	Constructor	Description
	RewriterProvider(BuiltinProvider builtinProvider)

Uses of BuiltinProvider in com.semedy.reasoner.app

Methods in com.semedy.reasoner.app with parameters of type BuiltinProvider

Modifier and Type	Method	Description
void	DebuggingMonitor.setBuiltins(BuiltinProvider builtins)

Uses of BuiltinProvider in com.semedy.reasoner.builtin

Methods in com.semedy.reasoner.builtin with parameters of type BuiltinProvider

Modifier and Type	Method	Description
void	InternalBuiltin.setBuiltinProvider(BuiltinProvider builtins)

Uses of BuiltinProvider in com.semedy.reasoner.builtin.action

Methods in com.semedy.reasoner.builtin.action with parameters of type BuiltinProvider

Modifier and Type	Method	Description
void	Assert.setBuiltinProvider(BuiltinProvider builtins)
void	Retract.setBuiltinProvider(BuiltinProvider builtins)

Uses of BuiltinProvider in com.semedy.reasoner.builtin.filter

Methods in com.semedy.reasoner.builtin.filter with parameters of type BuiltinProvider

Modifier and Type	Method	Description
void	Seek.setBuiltinProvider(BuiltinProvider builtins)

Uses of BuiltinProvider in com.semedy.reasoner.builtin.relational

Methods in com.semedy.reasoner.builtin.relational with parameters of type BuiltinProvider

Modifier and Type	Method	Description
void	Builtins1.setBuiltinProvider(BuiltinProvider builtins)
void	Builtins2.setBuiltinProvider(BuiltinProvider builtins)
void	In.setBuiltinProvider(BuiltinProvider builtins)
void	NGram.setBuiltinProvider(BuiltinProvider builtins)
void	Predicates.setBuiltinProvider(BuiltinProvider builtins)
void	Seek3.setBuiltinProvider(BuiltinProvider builtins)
void	Seek4.setBuiltinProvider(BuiltinProvider builtins)
void	Seek5.setBuiltinProvider(BuiltinProvider builtins)
void	SeekAnd.setBuiltinProvider(BuiltinProvider builtins)

Uses of BuiltinProvider in com.semedy.reasoner.core

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

Modifier and Type	Method	Description
void	QueryHandler.setBuiltinProvider(BuiltinProvider builtinProvider)
void	JsonMonitor.setBuiltins(BuiltinProvider builtins)

Constructors in com.semedy.reasoner.core with parameters of type BuiltinProvider

Modifier	Constructor	Description
	JsonMonitor(BuiltinProvider builtins)
	QueryHandler(BuiltinProvider builtins, RewriterProvider rewriters, SymbolTable symbols, ExternalDataTypeProvider datatypes, String queryDir)

Uses of BuiltinProvider in com.semedy.reasoner.exercises

Methods in com.semedy.reasoner.exercises with parameters of type BuiltinProvider

Modifier and Type	Method	Description
void	RemoveDoubleLiterals.setBuiltinProvider(BuiltinProvider builtinProvider)

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

Constructors in com.semedy.reasoner.parser.oologic with parameters of type BuiltinProvider

Modifier	Constructor	Description
	InternalOOLogicParser(SymbolTable symbolTable, ExternalDataTypeProvider dataTypeProvider, BuiltinProvider builtins, InvertedIndices invertedIndex)
	OOLogicListener(Collection<Rule> parsedRules, Collection<Literal> parsedFacts, SymbolTable symbols, ExternalDataTypeProvider dataTypeProvider, BuiltinProvider builtins, InvertedIndices invertedIndex)

Uses of BuiltinProvider in com.semedy.reasoner.reasoning

Methods in com.semedy.reasoner.reasoning with parameters of type BuiltinProvider

Modifier and Type	Method	Description
void	TestMonitor.setBuiltins(BuiltinProvider builtins)
boolean	ReasonerNotThreaded.test(Reader in, SymbolTable baseTable, ExternalDataTypeProvider datatypes, ExtensionalDB edb, boolean topdown, String path, BuiltinProvider builtinProvider, RewriterProvider rewriterProvider, Configuration config, Properties prp)	testing the evaluation.
boolean	ReasonerThreadedFactsPartitioning.test(Reader in, SymbolTable baseTable, ExternalDataTypeProvider datatypes, ExtensionalDB edb, boolean topdown, String path, BuiltinProvider builtinProvider, RewriterProvider rewriterProvider, Configuration config, Properties prp)
boolean	ReasonerThreadedRulesPartitioning.test(Reader in, SymbolTable baseTable, ExternalDataTypeProvider datatypes, ExtensionalDB edb, boolean topdown, String path, BuiltinProvider builtinProvider, RewriterProvider rewriterProvider, Configuration config, Properties prp)

Constructors in com.semedy.reasoner.reasoning with parameters of type BuiltinProvider

Modifier	Constructor	Description
	ReasonerNotThreaded(InterruptFlag interruptFlag, SymbolTable symboltable, BuiltinProvider builtinFactory, boolean skipAnswers, long maxNumberOfResults, boolean cepReasoning, boolean cepReasoningWithRetracts, String tempDir, boolean swapping, Properties builtinProperties)
	ReasonerNotThreaded(InterruptFlag interruptFlag, SymbolTable symboltable, BuiltinProvider builtinFactory, ReasoningMonitor monitor, boolean skipAnswers, long maxNumberOfResults, SimpleSemaphore semaphorForSensors, boolean cepReasoning, boolean cepReasoningWithRetracts, String tempDir, boolean swapping, Properties builtinProperties)
	ReasonerThreadedFactsPartitioning(InterruptFlag interruptFlag, SymbolTable symboltable, BuiltinProvider builtinFactory, int reasoningthreads, ReasoningMonitor monitor, boolean skipAnswers, int maxNumberOfResults, boolean cepReasoning, boolean cepReasoningWithRetracts, String tempDir, boolean swapping, Properties builtinProperties)
	ReasonerThreadedRulesPartitioning(InterruptFlag interruptFlag, SymbolTable symboltable, BuiltinProvider builtinFactory, int reasoningthreads, boolean skipAnswers, int maxNumberOfResults, ReasoningMonitor monitor, boolean cepReasoning, boolean cepReasoningWithRetracts, String tempDir, boolean swapping, Properties builtinProperties, int pulsedTuples, boolean sorted)
	ReasoningFactsRegisterThread(InterruptFlag interruptFlag, SymbolTable symboltable, BuiltinProvider builtinFactory, boolean skipsendinganswers, EventResultReceiver receiver, CoreReadLock edbReadLock, boolean cepReasoning, boolean cepReasoningWithRetracts, String tempDir, boolean swapping, Properties builtinProperties, int pulsedTuples, boolean sorted, boolean skipAnswers)
	ReasoningFactsThread(InterruptFlag interruptFlag, Receiver receiver, SymbolTable symboltable, BuiltinProvider builtinFactory, boolean skipsendinganswers, boolean cepReasoning, boolean cepReasoningWithRetracts, String tempDir, boolean swapping, boolean skipAnswers, Properties builtinProperties)
	ReasoningRulesThread(InterruptFlag interruptFlag, Receiver receiver, SymbolTable symboltable, BuiltinProvider builtinFactory, int reasoningthreads, ReasoningMonitor monitor, boolean cepReasoning, boolean cepReasoningWithRetracts, String tempDir, boolean swapping, Properties builtinProperties, int pulsedTuples, boolean sorted)
	ReasoningThread(InterruptFlag interruptFlag, Receiver receiver, ReasoningMonitor monitor, SymbolTable symboltable, BuiltinProvider builtinFactory, boolean skipsendinganswers, boolean cepReasoning, boolean cepReasoningWithRetracts, String tempDir, boolean swapping, Properties builtinProperties, CoreLock corelock, int pulsedTuples, boolean sorted)

Uses of BuiltinProvider in com.semedy.reasoner.reasoning.monitor

Methods in com.semedy.reasoner.reasoning.monitor with parameters of type BuiltinProvider

Modifier and Type	Method	Description
void	DefaultReasoningMonitor.setBuiltins(BuiltinProvider builtins)

Uses of BuiltinProvider in com.semedy.reasoner.reasoning.processes

Methods in com.semedy.reasoner.reasoning.processes with parameters of type BuiltinProvider

Modifier and Type	Method	Description
Rule	RuleSimplifier.rewriteRule(Rule rule, BuiltinProvider builtins)
void	StatisticsCollector.setBuiltins(BuiltinProvider builtins)
void	SystemReasoningMonitor.setBuiltins(BuiltinProvider builtins)

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

Modifier	Constructor	Description
	BinaryPattern(InterruptFlag interruptFlag, ReasoningMonitor monitor, SystemMonitor smonitor, BuiltinProvider builtinProvider, IntensionalDB idb, SymbolTable symbolTable, boolean streamReasoning, String queryKey, Properties builtinProperties, ExtensionalDB edb, boolean topDown)
	RuleCompiler(InterruptFlag interruptflag, ReasoningMonitor monitor, SystemMonitor smonitor, IntensionalDB idb, Options options, SymbolTable symboltable, BuiltinProvider builtinFactory, ExtensionalDB[] sharedEDBs, boolean streamReasoning, boolean streamReasoningWithRetracts, SimpleSemaphore semaphorForSensors, String tempDir, boolean swapping, boolean skipAnswers, Properties builtinProperties)

Uses of BuiltinProvider in com.semedy.reasoner.rewriter

Methods in com.semedy.reasoner.rewriter with parameters of type BuiltinProvider

Modifier and Type	Method	Description
static void	AxiomInjector.createStandardAxioms(SymbolTable symbolTable, ExternalDataTypeProvider datatypes, BuiltinProvider builtins)
void	ActionRewriter.setBuiltinProvider(BuiltinProvider builtinProvider)
void	AxiomInjector.setBuiltinProvider(BuiltinProvider builtinProvider)
void	BetweenRewriter.setBuiltinProvider(BuiltinProvider builtinProvider)
void	BottomUpOrderingRewriter.setBuiltinProvider(BuiltinProvider builtins)
void	BottomUpRuleSelector.setBuiltinProvider(BuiltinProvider builtinProvider)
void	CompareRewriter.setBuiltinProvider(BuiltinProvider builtinProvider)
void	DebuggingRewriter.setBuiltinProvider(BuiltinProvider builtinProvider)
void	DynamicOptimizer.setBuiltinProvider(BuiltinProvider builtinProvider)
void	ElementOfRewriter.setBuiltinProvider(BuiltinProvider builtinProvider)
void	EliminateRedundantBodiesRewriter.setBuiltinProvider(BuiltinProvider builtinProvider)
void	EqualRewriter.setBuiltinProvider(BuiltinProvider builtinProvider)
void	FillNullRewriter.setBuiltinProvider(BuiltinProvider builtinProvider)
void	FilterRewriter.setBuiltinProvider(BuiltinProvider builtins)
void	FolderRewriter.setBuiltinProvider(BuiltinProvider builtinProvider)
void	FullFolderRewriter.setBuiltinProvider(BuiltinProvider builtinProvider)
void	FunctionalRewriter.setBuiltinProvider(BuiltinProvider builtinProvider)
void	IsaRewriter.setBuiltinProvider(BuiltinProvider builtinProvider)
void	MagicSetRewriter.setBuiltinProvider(BuiltinProvider builtins)
void	ModuleRewriter.setBuiltinProvider(BuiltinProvider builtinProvider)
void	PathRewriter.setBuiltinProvider(BuiltinProvider builtinProvider)
void	PropagateConstantsRewriter.setBuiltinProvider(BuiltinProvider builtinProvider)
void	PropagateConstraintsRewriter.setBuiltinProvider(BuiltinProvider builtinProvider)
void	QueryRuleRewriter.setBuiltinProvider(BuiltinProvider builtinProvider)
void	RewriterSkeleton.setBuiltinProvider(BuiltinProvider builtinProvider)
void	SnapshotRewriter.setBuiltinProvider(BuiltinProvider builtinProvider)
void	Splitter.setBuiltinProvider(BuiltinProvider builtinProvider)
void	TopDownOrderingRewriter.setBuiltinProvider(BuiltinProvider builtins)
void	Unfolder.setBuiltinProvider(BuiltinProvider builtinProvider)

Uses of BuiltinProvider in com.semedy.reasoner.rewriter.sips

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

Modifier	Constructor	Description
	TopDownSIPS(BuiltinProvider builtinFactory)

Uses of BuiltinProvider in com.semedy.reasoner.utils

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

Modifier and Type	Method	Description
void	ReasoningMonitorTimes.setBuiltins(BuiltinProvider builtins)
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
static String	OOlogicShape.toString(Rule r, int markedIndex, SymbolTable symbols, BuiltinProvider builtins)	return OO logic syntax for rule r, rule body 'markedIndex' is marked
static String	OOlogicShape.toString(Rule r, SymbolTable symbols, BuiltinProvider builtins)	return OO logic syntax for rule r