solve/it.unibo.tuprolog.solve.flags/FlagStore/Companion

Companion

object Companion

Properties

val DEFAULT: FlagStore

The default FlagStore every new it.unibo.tuprolog.solve.Solver starts with (see it.unibo.tuprolog.solve.SolverFactory.defaultFlags), with every NotableFlag set to its NotableFlag.defaultValue: Unknown, MaxArity, DoubleQuotes, LastCallOptimization, TrackVariables.

val EMPTY: FlagStore

The empty FlagStore, with no flag set.

Functions

fun empty(): FlagStore

Same as EMPTY, as a factory method.

fun of(flags: Map<String, Term>): FlagStore

Creates a FlagStore out of the given flags map.

fun of(vararg notableFlagValues: NotableFlag): FlagStore

Creates a FlagStore setting every one of notableFlagValues to its NotableFlag.defaultValue.

fun of(vararg flagValues: Pair<String, Term>): FlagStore

Creates a FlagStore out of the given name-value pairs.