add method

void add(
  1. AST a, {
  2. Expr? constant,
})

Implementation

void add(AST a, {Expr? constant}) {
  if (constant != null) {
    _c._z3.optimize_assert_and_track(
      _optimize,
      _c._createAST(a),
      _c._createAST(constant),
    );
  } else {
    _c._z3.optimize_assert(_optimize, _c._createAST(a));
  }
}