ksmt-core
0.5.23
ksmt-core
/
io.ksmt
/
KContext
/
mkOrNoSimplify
mk
Or
No
Simplify
open
fun
mkOrNoSimplify
(
args
:
List
<
KExpr
<
KBoolSort
>
>
)
:
KOrExpr
Create boolean OR expression.
open
fun
mkOrNoSimplify
(
lhs
:
KExpr
<
KBoolSort
>
,
rhs
:
KExpr
<
KBoolSort
>
)
:
KOrBinaryExpr
Create boolean binary OR expression.