Fixpoint3.Options

Definitions

def debugFileName(): String§ Source

Returns the name of the debug file.

def enableDebugPrintFacts(): Bool§ Source

Prints the input and output facts when debugging is enabled.

def enableDebugToFile(): Bool§ Source

Prints the debug output to the file given by debugFileName.

def enableDebugging(): Bool§ Source

Prints the Datalog program before the fixpoint computation.

def parLevel(): Int32§ Source

The 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

Spawning k threads in every layer with a RelOp.Searchs undesirable, since this leads to k^d threads for a nesting of depth d. Therefore, the interpreter is limited to only spawn threads for the MaxParallelNesting highest search RelOps.

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§ Source

The arity of the B+ trees in the interpreter.