build method
Implementation
@override
Z3_ast build(Context c) {
final a = c._createAST(arg);
switch (kind) {
case PUnaryOpKind.signExt:
return c._z3.mk_sign_ext(param, a);
case PUnaryOpKind.zeroExt:
return c._z3.mk_zero_ext(param, a);
case PUnaryOpKind.repeat:
return c._z3.mk_repeat(param, a);
case PUnaryOpKind.bitToBool:
return c._z3.mk_bit2bool(param, a);
case PUnaryOpKind.rotateLeft:
return c._z3.mk_rotate_left(param, a);
case PUnaryOpKind.rotateRight:
return c._z3.mk_rotate_right(param, a);
case PUnaryOpKind.intToBv:
return c._z3.mk_int2bv(param, a);
}
}