ksmt-core
0.5.23
ksmt-core
/
io.ksmt.decl
/
KArray3StoreDecl
KArray3Store
Decl
class
KArray3StoreDecl
<
D0
:
KSort
,
D1
:
KSort
,
D2
:
KSort
,
R
:
KSort
>
:
KArrayStoreDeclBase
<
KArray3Sort
<
D0
,
D1
,
D2
,
R
>
,
R
>
Functions
Properties
Functions
accept
Link copied to clipboard
open
override
fun
<
R
>
accept
(
visitor
:
KDeclVisitor
<
R
>
)
:
R
apply
Link copied to clipboard
open
override
fun
apply
(
args
:
List
<
KExpr
<
*
>
>
)
:
KApp
<
KArray3Sort
<
D0
,
D1
,
D2
,
R
>
,
*
>
check
Arg
Sorts
Link copied to clipboard
fun
checkArgSorts
(
args
:
List
<
KExpr
<
*
>
>
)
equals
Link copied to clipboard
open
operator override
fun
equals
(
other
:
Any
?
)
:
Boolean
hash
Code
Link copied to clipboard
open
override
fun
hashCode
(
)
:
Int
print
Link copied to clipboard
open
override
fun
print
(
builder
:
StringBuilder
)
to
String
Link copied to clipboard
open
override
fun
toString
(
)
:
String
Properties
arg
Sorts
Link copied to clipboard
val
argSorts
:
List
<
KSort
>
ctx
Link copied to clipboard
val
ctx
:
KContext
name
Link copied to clipboard
val
name
:
String
sort
Link copied to clipboard
val
sort
:
KArray3Sort
<
D0
,
D1
,
D2
,
R
>