solve/it.unibo.tuprolog.solve.flags

Package it.unibo.tuprolog.solve.flags

Types

Link copied to clipboard
object DoubleQuotes : NotableFlag
Content copied to clipboard
Link copied to clipboard
data class FlagStore(flags: Map<String, <ERROR CLASS>>) : Map<String, <ERROR CLASS>>
Content copied to clipboard

A storage for flags and their values

Link copied to clipboard
object LastCallOptimization : NotableFlag
Content copied to clipboard
Link copied to clipboard
object MaxArity : NotableFlag
Content copied to clipboard
Link copied to clipboard
interface NotableFlag
Content copied to clipboard
Link copied to clipboard
object Unknown : NotableFlag
Content copied to clipboard