mkOr

open fun mkOr(args: List<KExpr<KBoolSort>>, flat: Boolean = true, order: Boolean = true): KExpr<KBoolSort>

Create boolean OR expression.

Parameters

flat

flat nested OR expressions

order

reorder arguments to ensure that (or a b) == (or b a)


open fun mkOr(lhs: KExpr<KBoolSort>, rhs: KExpr<KBoolSort>, flat: Boolean = true, order: Boolean = true): KExpr<KBoolSort>

Create boolean binary OR expression.

Parameters

flat

flat nested OR expressions

order

reorder arguments to ensure that (or a b) == (or b a)


fun mkOr(vararg args: KExpr<KBoolSort>): KExpr<KBoolSort>