unify/it.unibo.tuprolog.unify/Equation/isIdentity

isIdentity

open val isIdentity: Boolean

Whether this Equation is an Identity, i.e. an equation between already-equal terms.

Generated by Dokka
© 2026 Copyright