BooleanAlgebra

An implementation of LogicAlgebra for primitive booleans

Functions

Link copied to clipboard
open infix override fun Boolean.and(other: Boolean): Boolean

Logic 'and'

Link copied to clipboard
open override fun binaryOperation(operation: String, left: Boolean, right: Boolean): Boolean

Dynamically invokes a binary operation with the certain name.

Link copied to clipboard
open override fun binaryOperationFunction(operation: String): (left: Boolean, right: Boolean) -> Boolean

Dynamically dispatches a binary operation with the certain name.

Link copied to clipboard
open fun bindSymbol(value: String): Boolean

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

Link copied to clipboard
fun <T> Algebra<T>.bindSymbol(symbol: Symbol): T
Link copied to clipboard
open override fun bindSymbolOrNull(value: String): Boolean?

Wraps a raw string to T object. This method is designed for three purposes:

Link copied to clipboard
fun <T> Algebra<T>.bindSymbolOrNull(symbol: Symbol): T?
Link copied to clipboard
open override fun const(boolean: Boolean): Boolean

Represent constant Boolean as T

Link copied to clipboard

Export an algebra element, so it could be accessed even after algebra scope is closed. This method must be used on algebras where data is stored externally or any local algebra state is used. By default (if not overridden), exports the object itself.

Link copied to clipboard
open operator override fun Boolean.not(): Boolean

Logic 'not'

Link copied to clipboard
open infix override fun Boolean.or(other: Boolean): Boolean

Logic 'or'

Link copied to clipboard
open override fun unaryOperation(operation: String, arg: Boolean): Boolean

Dynamically invokes a unary operation with the certain name.

Link copied to clipboard
open override fun unaryOperationFunction(operation: String): (arg: Boolean) -> Boolean

Dynamically dispatches a unary operation with the certain name.

Link copied to clipboard
open infix override fun Boolean.xor(other: Boolean): Boolean

Logic 'xor'

Properties

Link copied to clipboard

Provide a factory for buffers, associated with this Algebra