NotableFlag

interface NotableFlag: Any

Fields

Name Description
abstract name: String
abstract defaultValue: Term
open isEditable: Boolean
abstract admissibleValues: Sequence<Term>

Methods

isAdmissibleValue

open fun isAdmissibleValue(value: Term): Boolean

Parameters

Name Description
value: Term

ReturnValue

Name Description
Boolean

toPair

open fun toPair(): Pair<String, Term>

ReturnValue

Name Description
Pair<String, Term>

to

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

Parameters

Name Description
value: Term

ReturnValue

Name Description
Pair<String, Term>

CompanionObject

NotableFlag

interface NotableFlag: Any

Methods

fromName

fun fromName(name: String): NotableFlag?

Parameters

Name Description
name: String

ReturnValue

Name Description
NotableFlag?