printRules method

Iterable<String> printRules()

Implementation

Iterable<String> printRules() sync* {
  yield "import 'facts.dart';";
  yield "import 'logic.dart';";
  yield "";
  yield* _definedFactLines();
  yield "";
  yield "";
  yield* _fullImplicationsLines();
  yield "";
  yield "";
  yield* _prereqLines();
  yield "";
  yield "";
  yield* _betaRulesLines();
  yield "";
  yield "";
  yield "final factRules = FactRules.pregenerated(";
  yield "    betaRules,";
  yield "    definedFacts.toSet(),";
  yield "    fullImplications,";
  yield "    betaTriggers,";
  yield "    prereq,";
  yield ");";
}