getConsts method

List<ConstVar> getConsts()

Gets all of the constants in this model.

Implementation

List<ConstVar> getConsts() {
  final result = <ConstVar>[];
  final size = _c._z3.model_get_num_consts(_model);
  for (var i = 0; i < size; i++) {
    result.add(
      ConstVar.func(_c._getFuncDecl(_c._z3.model_get_const_decl(_model, i))),
    );
  }
  return result;
}