allOf

@JvmStatic()
@JvmOverloads()
fun allOf(pair: Pair<Term, Term>, equalityChecker: (Term, Term) -> Boolean = Term::equals): Sequence<Equation>
Content copied to clipboard

Creates all equations resulting from the deep inspection of given Pair of Terms

@JvmStatic()
@JvmOverloads()
fun allOf(lhs: Term, rhs: Term, equalityChecker: (Term, Term) -> Boolean = Term::equals): Sequence<Equation>
Content copied to clipboard

Creates all equations resulting from the deep inspection of provided left-hand and right-hand sides' Term