mkAnd

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

Create boolean AND expression.

Parameters

flat

flat nested AND expressions

order

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


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

Create boolean binary AND expression.

Parameters

flat

flat nested AND expressions

order

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


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