documentation
1.5.1-dev02-c0569c38e
      Target filter
Search in API
Skip to content
    documentation
solve/it.unibo.tuprolog.solve.flags/FlagStore/Companion/DEFAULT

DEFAULT

@JvmField
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.

Generated by Dokka
© 2026 Copyright