unify/it.unibo.tuprolog.unify/Equation/Companion/from

from

@JvmStatic
@JvmOverloads
fun from(pairs: Sequence<Pair<<ERROR CLASS>, <ERROR CLASS>>>, equalityChecker: (<ERROR CLASS>, <ERROR CLASS>) -> Boolean = Term::equals): Sequence<Equation>
Content copied to clipboard
@JvmStatic
@JvmOverloads
fun from(pairs: Iterable<Pair<<ERROR CLASS>, <ERROR CLASS>>>, equalityChecker: (<ERROR CLASS>, <ERROR CLASS>) -> Boolean = Term::equals): Sequence<Equation>
Content copied to clipboard
@JvmStatic
@JvmOverloads
fun from(vararg pairs: Pair<<ERROR CLASS>, <ERROR CLASS>>, equalityChecker: (<ERROR CLASS>, <ERROR CLASS>) -> Boolean = Term::equals): Sequence<Equation>
Content copied to clipboard