Fixpoint3.Options
Definitions
def debugFileName(): String
SourceReturns the name of the debug file.
def enableDebugPrintFacts(): Bool
SourcePrints the input and output facts when debugging is enabled.
def enableDebugToFile(): Bool
SourcePrints the debug output to the file given by debugFileName.
def enableDebugging(): Bool
SourcePrints the Datalog program before the fixpoint computation.
def parLevel(): Int32
SourceThe maximum depth of recursively spawned threads in the interpreter.
To be more precise this value is the number of times the interpreter can recursively
split a RelOp.Search into smaller workloads for threads running in parallel.
Consider the program:
`
search a ∈ A do
search b ∈ B do
search c ∈ C do
...
end
end
end
Spawningkthreads in every layer with aRelOp.Searchs undesirable, since this
leads tok^dthreads for a nesting of depthd. Therefore, the interpreter is
limited to only spawn threads for theMaxParallelNestinghighestsearchRelOp`s.
For the example, if we allow a maximum of 2 parallel nestings, we would not spawn
threads when evaluating search c ∈ C do.
def usedArity(): Int32
SourceThe arity of the B+ trees in the interpreter.