Contradiction

data class Contradiction(val lhs: <ERROR CLASS>, val rhs: <ERROR CLASS>) : Equation

A contradicting equation, trying to equate non equal Terms

Constructors

fun Contradiction(lhs: <ERROR CLASS>, rhs: <ERROR CLASS>)

fun apply(substitution: <ERROR CLASS>, equalityChecker: (<ERROR CLASS>, <ERROR CLASS>) -> Boolean = Term::equals): Equation

Applies given substitution to the Equation left-hand and right-hand sides, returning the new Equation

open fun toPair(): Pair<<ERROR CLASS>, <ERROR CLASS>>

open fun toTerm(): <ERROR CLASS>

open override val lhs: <ERROR CLASS>

The left-hand side of the equation

open override val rhs: <ERROR CLASS>

The right-hand side of the equation