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