add method

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

Implementation

void add(Expr a, {ConstVar? constant}) {
  if (constant != null) {
    _c._z3.solver_assert_and_track(
      _solver,
      _c._createAST(a),
      _c._createAST(constant),
    );
  } else {
    _c._z3.solver_assert(_solver, _c._createAST(a));
  }
}