build method

  1. @override
Z3_ast build(
  1. Context c
)
override

Implementation

@override
Z3_ast build(Context c) {
  return c._z3.mk_divides(
    c._z3.mk_unsigned_int64(n, c._intSort),
    c._createAST(d),
  );
}