builtinTactics property

Map<String, BuiltinTactic> builtinTactics
latefinal

Implementation

late final Map<String, BuiltinTactic> builtinTactics = () {
  final result = <String, BuiltinTactic>{};
  final count = _z3.get_num_tactics();
  for (var i = 0; i < count; i++) {
    final name = _z3.get_tactic_name(i);
    final nameStr = name.cast<Utf8>().toDartString();
    final tactic = _z3.mk_tactic(name);
    result[nameStr] = _tacticReg.putPtr(
      tactic,
      () => BuiltinTactic._(this, tactic, nameStr),
    ) as BuiltinTactic;
  }
  return result;
}();