ksmt-core/io.ksmt.decl/KFpEqualDecl

KFpEqualDecl

class KFpEqualDecl<T : KFpSort> : KFuncDecl2<KBoolSort, T, T>

Functions

open override fun <R> accept(visitor: KDeclVisitor<R>): R

open override fun apply(args: List<KExpr<*>>): KApp<KBoolSort, *>

open override fun KContext.apply(arg0: KExpr<T>, arg1: KExpr<T>): KApp<KBoolSort, *>

fun checkArgSorts(args: List<KExpr<*>>)

open operator override fun equals(other: Any?): Boolean

open override fun hashCode(): Int

open override fun print(builder: StringBuilder)

open override fun toString(): String

Properties

val arg0Sort: T

val arg1Sort: T

val argSorts: List<KSort>

val ctx: KContext

val name: String

val sort: KBoolSort