semantic_heuristic.js 737 B

12345678910111213141516171819
  1. "use strict";
  2. Object.defineProperty(exports, "__esModule", { value: true });
  3. exports.SemanticMmlHeuristic = exports.SemanticMultiHeuristic = exports.SemanticTreeHeuristic = void 0;
  4. class SemanticAbstractHeuristic {
  5. constructor(name, method, predicate = (_x) => false) {
  6. this.name = name;
  7. this.apply = method;
  8. this.applicable = predicate;
  9. }
  10. }
  11. class SemanticTreeHeuristic extends SemanticAbstractHeuristic {
  12. }
  13. exports.SemanticTreeHeuristic = SemanticTreeHeuristic;
  14. class SemanticMultiHeuristic extends SemanticAbstractHeuristic {
  15. }
  16. exports.SemanticMultiHeuristic = SemanticMultiHeuristic;
  17. class SemanticMmlHeuristic extends SemanticAbstractHeuristic {
  18. }
  19. exports.SemanticMmlHeuristic = SemanticMmlHeuristic;