builtinProbes property

Map<String, BuiltinProbe> builtinProbes
latefinal

Implementation

late final Map<String, BuiltinProbe> builtinProbes = () {
  final result = <String, BuiltinProbe>{};
  final count = _z3.get_num_probes();
  for (var i = 0; i < count; i++) {
    final name = _z3.get_probe_name(i);
    final nameStr = name.cast<Utf8>().toDartString();
    final probe = _z3.mk_probe(name);
    result[nameStr] = _probeReg.putPtr(
      probe,
      () => BuiltinProbe._(this, probe, nameStr),
    ) as BuiltinProbe;
  }
  return result;
}();