builtinTactics top-level property

Map<String, BuiltinTactic> builtinTactics

Implementation

Map<String, BuiltinTactic> get builtinTactics => currentContext.builtinTactics;