ksmt-core/io.ksmt.expr.rewrite.simplify/ExpressionOrdering

ExpressionOrdering

object ExpressionOrdering : Comparator<KExpr<*>>

Functions

open override fun compare(left: KExpr<*>, right: KExpr<*>): Int

open fun reversed(): Comparator<KExpr<*>>

open fun thenComparing(p0: Comparator<in KExpr<*>>): Comparator<KExpr<*>>

open fun <U : Comparable<U>> thenComparing(p0: Function<in KExpr<*>, out U>): Comparator<KExpr<*>>

open fun <U : Any> thenComparing(p0: Function<in KExpr<*>, out U>, p1: Comparator<in U>): Comparator<KExpr<*>>

thenComparingDouble

open fun thenComparingDouble(p0: ToDoubleFunction<in KExpr<*>>): Comparator<KExpr<*>>

thenComparingInt

open fun thenComparingInt(p0: ToIntFunction<in KExpr<*>>): Comparator<KExpr<*>>

thenComparingLong

open fun thenComparingLong(p0: ToLongFunction<in KExpr<*>>): Comparator<KExpr<*>>