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

Companion

object Companion
Content copied to clipboard

Equation companion object

Functions

Link copied to clipboard
@JvmStatic
@JvmOverloads
fun allOf(pair: Pair<<ERROR CLASS>, <ERROR CLASS>>, equalityChecker: (<ERROR CLASS>, <ERROR CLASS>) -> 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: <ERROR CLASS>,     rhs: <ERROR CLASS>,     equalityChecker: (<ERROR CLASS>, <ERROR CLASS>) -> 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

Link 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
@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(pairs: Sequence<Pair<<ERROR CLASS>, <ERROR CLASS>>>, equalityChecker: (<ERROR CLASS>, <ERROR CLASS>) -> Boolean = Term::equals): Sequence<Equation>
Content copied to clipboard
Link copied to clipboard
@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

@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