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