builtinTactics property
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;
}();