ksmt-core
0.5.23
ksmt-core
/
io.ksmt
/
KContext
/
mkBvDecl
mk
Bv
Decl
fun
mkBvDecl
(
value
:
Boolean
)
:
KDecl
<
KBv1Sort
>
fun
mkBvDecl
(
value
:
Byte
)
:
KDecl
<
KBv8Sort
>
fun
mkBvDecl
(
value
:
Short
)
:
KDecl
<
KBv16Sort
>
fun
mkBvDecl
(
value
:
Int
)
:
KDecl
<
KBv32Sort
>
fun
mkBvDecl
(
value
:
Long
)
:
KDecl
<
KBv64Sort
>
fun
mkBvDecl
(
value
:
BigInteger
,
size
:
UInt
)
:
KDecl
<
KBvSort
>
fun
mkBvDecl
(
value
:
String
,
sizeBits
:
UInt
)
:
KDecl
<
KBvSort
>