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

of

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

Creates an Equation with provided left-hand and right-hand sides


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

Creates an Equation from given Pair