
public abstract class KBitVecNumberValue<S extends KBvSort, N extends Number>
extends KBitVecValue<S>

Nested Classes
Modifier and Type	Class	Description

Fields
Modifier and Type	Field	Description
`private final N`	`numberValue`
`private final String`	`stringValue`
`private final List<KExpr<KSort>>`	`args`
`private final KDecl<S>`	`decl`
`private final S`	`sort`
`private final KContext`	`ctx`

Constructors
Constructor	Description
`KBitVecNumberValue(KContext ctx)`

Enum Constants
Enum Constant	Description

Modifier and Type	Method	Description
`abstract N`	`getNumberValue()`
`String`	`getStringValue()`
`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.expr.KApp
decl, getDecl, print
Methods inherited from class io.ksmt.expr.KExpr
accept, equals, getSort, hashCode, print
Methods inherited from class io.ksmt.KAst
getCtx, toString
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Class KBitVecNumberValue