LogicAlgebra

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

An algebra for generic boolean logic

Types

Companion
Link copied to clipboard
common
object Companion

Functions

and
Link copied to clipboard
common
abstract infix fun T.and(other: T): T
Logic 'and'
binaryOperation
Link copied to clipboard
common
open override fun binaryOperation(operation: String, left: T, right: T): T
Dynamically invokes a binary operation with the certain name.
binaryOperationFunction
Link copied to clipboard
common
open override fun binaryOperationFunction(operation: String): (T, T) -> T
Dynamically dispatches a binary operation with the certain name.
bindSymbol
Link copied to clipboard
common
open fun bindSymbol(value: String): T
The same as bindSymbolOrNull but throws an error if symbol could not be bound
bindSymbolOrNull
Link copied to clipboard
common
open override fun bindSymbolOrNull(value: String): T?
Wraps a raw string to T object.
const
Link copied to clipboard
common
abstract fun const(boolean: Boolean): T
Represent constant Boolean as T
not
Link copied to clipboard
common
abstract operator fun T.not(): T
Logic 'not'
or
Link copied to clipboard
common
abstract infix fun T.or(other: T): T
Logic 'or'
unaryOperation
Link copied to clipboard
common
open override fun unaryOperation(operation: String, arg: T): T
Dynamically invokes a unary operation with the certain name.
unaryOperationFunction
Link copied to clipboard
common
open override fun unaryOperationFunction(operation: String): (T) -> T
Dynamically dispatches a unary operation with the certain name.
xor
Link copied to clipboard
common
abstract infix fun T.xor(other: T): T
Logic 'xor'

Inheritors

MstLogicAlgebra
Link copied to clipboard
BooleanAlgebra
Link copied to clipboard

Sources

common source
Link copied to clipboard