builtinTactics top-level property

Map<String, BuiltinTactic> get builtinTactics

A map of all of the built in tactics.

Implementation

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