-
- All Implemented Interfaces:
-
io.ksmt.cache.KInternedObject
public abstract class KIntNumExpr extends KInterpretedValue<KIntSort>
-
-
Constructor Summary
Constructors Constructor Description KIntNumExpr(KContext ctx, Number value)
-
Method Summary
Modifier and Type Method Description KIntSort
getSort()
KIntNumDecl
getDecl()
Integer
internHashCode()
Any.hashCode analogue for interning purposes. Boolean
internEquals(Object other)
Any.equals analogue for interning purposes. -
Methods inherited from class io.ksmt.expr.KInterpretedValue
getArgs
-
Methods inherited from class io.ksmt.KAst
getCtx, toString
-
Methods inherited from class io.ksmt.expr.KApp
decl, print
-
Methods inherited from class io.ksmt.expr.KExpr
accept, equals, hashCode, print
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
-
Method Detail
-
getDecl
KIntNumDecl getDecl()
-
internHashCode
Integer internHashCode()
Any.hashCode analogue for interning purposes.
-
internEquals
Boolean internEquals(Object other)
Any.equals analogue for interning purposes.
-
-
-
-