ksmt-core
0.5.23
ksmt-core
/
io.ksmt
/
KContext
/
mkAndNoSimplify
mk
And
No
Simplify
open
fun
mkAndNoSimplify
(
args
:
List
<
KExpr
<
KBoolSort
>
>
)
:
KAndExpr
Create boolean AND expression.
open
fun
mkAndNoSimplify
(
lhs
:
KExpr
<
KBoolSort
>
,
rhs
:
KExpr
<
KBoolSort
>
)
:
KAndBinaryExpr
Create boolean binary AND expression.