ksmt-core
0.5.23
ksmt-core
/
io.ksmt.decl
/
KArrayConstDecl
KArray
Const
Decl
class
KArrayConstDecl
<
A
:
KArraySortBase
<
R
>
,
R
:
KSort
>
(
ctx
:
KContext
,
sort
:
A
)
:
KFuncDecl1
<
A
,
R
>
Constructors
Functions
Properties
Constructors
KArray
Const
Decl
Link copied to clipboard
fun
<
A
:
KArraySortBase
<
R
>
>
KArrayConstDecl
(
ctx
:
KContext
,
sort
:
A
)
Functions
accept
Link copied to clipboard
open
override
fun
<
R
>
accept
(
visitor
:
KDeclVisitor
<
R
>
)
:
R
apply
Link copied to clipboard
open
override
fun
KContext
.
apply
(
arg
:
KExpr
<
R
>
)
:
KApp
<
A
,
R
>
open
override
fun
apply
(
args
:
List
<
KExpr
<
*
>
>
)
:
KApp
<
A
,
*
>
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
Sort
Link copied to clipboard
val
argSort
:
R
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
:
A