unify/it.unibo.tuprolog.unify/Equation/isComparison

isComparison

open val isComparison: Boolean

Whether this Equation is a Comparison, i.e. still needs decomposing into sub-equations.

Generated by Dokka
© 2026 Copyright