solve/it.unibo.tuprolog.solve.flags/Unknown

Unknown

object Unknown : NotableFlag

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

open override val admissibleValues: Sequence<<ERROR CLASS>>

open override val defaultValue: <ERROR CLASS>

val ERROR: <ERROR CLASS>

val FAIL: <ERROR CLASS>

open val isEditable: Boolean

open override val name: String

val WARNING: <ERROR CLASS>