BooleanExpression

sealed class BooleanExpression<out T : Any>

A boolean expression

Parameters

the type of the variable elements. This allows representing BooleanExpression that only contain variables and other that may also contain possibleTypes

Types

And

common

data class And<T : Any>(operands: Set<BooleanExpression<T>>) : BooleanExpression<T>

Element

common

data class Element<out T : Any>(value: T) : BooleanExpression<T>

False

common

object False : BooleanExpression<Nothing>

Not

common

data class Not<out T : Any>(operand: BooleanExpression<T>) : BooleanExpression<T>

common

data class Or<T : Any>(operands: Set<BooleanExpression<T>>) : BooleanExpression<T>

True

common

object True : BooleanExpression<Nothing>

Functions

simplify

common

abstract fun simplify(): BooleanExpression<T>

This is not super well defined but works well enough for our simple use cases

Inheritors

BooleanExpression

Extensions

and

common

fun <T : Any> BooleanExpression<T>.and(vararg other: BooleanExpression<T>): BooleanExpression<T>

evaluate

common

fun <T : Any> BooleanExpression<T>.evaluate(block: (T) -> Boolean): Boolean

fun BooleanExpression<BTerm>.evaluate(variables: Set<String>, typename: String): Boolean

common

fun <T : Any> BooleanExpression<T>.or(vararg other: BooleanExpression<T>): BooleanExpression<T>