build method

@override Z3_ast build(Context c)

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);
  }
}