Comparison

data class Comparison(lhs: Term, rhs: Term) : Equation

An equation comparing Terms, possibly different

Constructors

Comparison

fun Comparison(lhs: Term, rhs: Term)

Functions

apply

@JvmOverloads()

fun apply(substitution: Substitution, equalityChecker: (Term, Term) -> Boolean = Term::equals): Equation

Applies given substitution to the Equation left-hand and right-hand sides, returning the new EquationTo modify default equality between Terms, a custom equalityChecker can be provided

open fun <U : Equation> as(): U?

asAssignment

open fun asAssignment(): Equation.Assignment?

asComparison

open override fun asComparison(): Equation.Comparison

asContradiction

open fun asContradiction(): Equation.Contradiction?

asIdentity

open fun asIdentity(): Equation.Identity?

castTo

open fun <U : Equation> castTo(): U

castToAssignment

fun castToAssignment(): Equation.Assignment

castToComparison

fun castToComparison(): Equation.Comparison

castToContradiction

fun castToContradiction(): Equation.Contradiction

castToIdentity

fun castToIdentity(): Equation.Identity

swap

fun swap(): Equation

toPair

open fun toPair(): Pair<Term, Term>

toTerm

open override fun toTerm(): Struct

Properties

isAssignment

open val isAssignment: Boolean

isComparison

open override val isComparison: Boolean

isContradiction

open val isContradiction: Boolean

isIdentity

open val isIdentity: Boolean

lhs

open override val lhs: Term

The left-hand side of the equation

rhs

open override val rhs: Term

The right-hand side of the equation