LogicAlgebra

@UnstableKMathAPI()

interface LogicAlgebra<T : Any> : Algebra<T>

An algebra for generic boolean logic

Types

Companion

common

object Companion

Functions

and

common

abstract infix fun T.and(other: T): T

Logic 'and'

binaryOperation

common

open override fun binaryOperation(operation: String, left: T, right: T): T

Dynamically invokes a binary operation with the certain name.

binaryOperationFunction

common

open override fun binaryOperationFunction(operation: String): (T, T) -> T

Dynamically dispatches a binary operation with the certain name.

bindSymbol

common

open fun bindSymbol(value: String): T

The same as bindSymbolOrNull but throws an error if symbol could not be bound

bindSymbolOrNull

common

open override fun bindSymbolOrNull(value: String): T?

Wraps a raw string to T object.

const

common

abstract fun const(boolean: Boolean): T

Represent constant Boolean as T

not

common

abstract operator fun T.not(): T

Logic 'not'

common

abstract infix fun T.or(other: T): T

Logic 'or'

unaryOperation

common

open override fun unaryOperation(operation: String, arg: T): T

Dynamically invokes a unary operation with the certain name.

unaryOperationFunction

common

open override fun unaryOperationFunction(operation: String): (T) -> T

Dynamically dispatches a unary operation with the certain name.

xor

common

abstract infix fun T.xor(other: T): T

Logic 'xor'

Inheritors

MstLogicAlgebra

BooleanAlgebra

Sources

common source