solve/it.unibo.tuprolog.solve.flags/NotableFlag

NotableFlag

interface NotableFlag

Types

object Companion

Functions

isAdmissibleValue

open fun isAdmissibleValue(value: <ERROR CLASS>): Boolean

open infix fun to(value: <ERROR CLASS>): Pair<String, <ERROR CLASS>>

open fun toPair(): Pair<String, <ERROR CLASS>>

Properties

admissibleValues

abstract val admissibleValues: Sequence<<ERROR CLASS>>

abstract val defaultValue: <ERROR CLASS>

open val isEditable: Boolean

abstract val name: String

Inheritors

LastCallOptimization