Companion

object Companion

Equation companion object

Functions

allOf
Link copied to clipboard
fun allOf(pair: Pair<Term, Term>, equalityChecker: (Term, Term) -> Boolean = Term::equals): Sequence<Equation>
Creates all equations resulting from the deep inspection of given Pair of Terms
fun allOf(lhs: Term, rhs: Term, equalityChecker: (Term, Term) -> Boolean = Term::equals): Sequence<Equation>
Creates all equations resulting from the deep inspection of provided left-hand and right-hand sides' Term
from
Link copied to clipboard
fun from(vararg pairs: Pair<Term, Term>, equalityChecker: (Term, Term) -> Boolean = Term::equals): Sequence<Equation>
fun from(pairs: Iterable<Pair<Term, Term>>, equalityChecker: (Term, Term) -> Boolean = Term::equals): Sequence<Equation>
fun from(pairs: Sequence<Pair<Term, Term>>, equalityChecker: (Term, Term) -> Boolean = Term::equals): Sequence<Equation>
of
Link copied to clipboard
fun of(pair: Pair<Term, Term>, equalityChecker: (Term, Term) -> Boolean = Term::equals): Equation
Creates an Equation from given Pair
fun of(lhs: Term, rhs: Term, equalityChecker: (Term, Term) -> Boolean = Term::equals): Equation
Creates an Equation with provided left-hand and right-hand sides