ksmt-core/io.ksmt/KContext/OperationMode

OperationMode

enum OperationMode : Enum<KContext.OperationMode>

Allow or disallow concurrent execution of KContext operations (e.g. expression creation)

SINGLE_THREAD --- disallow concurrent execution and maximize performance within a single thread. CONCURRENT --- allow concurrent execution with about 10% lower single thread performance compared to the SINGLE_THREAD mode.

Entries

SINGLE_THREAD

CONCURRENT

Functions

valueOf

fun valueOf(value: String): KContext.OperationMode

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

values

fun values(): Array<KContext.OperationMode>

Returns an array containing the constants of this enum type, in the order they're declared.

Properties

name

val name: String

ordinal

val ordinal: Int