mk Or
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)