BussproofsMappings.js 1.9 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647
  1. "use strict";
  2. var __importDefault = (this && this.__importDefault) || function (mod) {
  3. return (mod && mod.__esModule) ? mod : { "default": mod };
  4. };
  5. Object.defineProperty(exports, "__esModule", { value: true });
  6. var BussproofsMethods_js_1 = __importDefault(require("./BussproofsMethods.js"));
  7. var ParseMethods_js_1 = __importDefault(require("../ParseMethods.js"));
  8. var SymbolMap_js_1 = require("../SymbolMap.js");
  9. new SymbolMap_js_1.CommandMap('Bussproofs-macros', {
  10. AxiomC: 'Axiom',
  11. UnaryInfC: ['Inference', 1],
  12. BinaryInfC: ['Inference', 2],
  13. TrinaryInfC: ['Inference', 3],
  14. QuaternaryInfC: ['Inference', 4],
  15. QuinaryInfC: ['Inference', 5],
  16. RightLabel: ['Label', 'right'],
  17. LeftLabel: ['Label', 'left'],
  18. AXC: 'Axiom',
  19. UIC: ['Inference', 1],
  20. BIC: ['Inference', 2],
  21. TIC: ['Inference', 3],
  22. RL: ['Label', 'right'],
  23. LL: ['Label', 'left'],
  24. noLine: ['SetLine', 'none', false],
  25. singleLine: ['SetLine', 'solid', false],
  26. solidLine: ['SetLine', 'solid', false],
  27. dashedLine: ['SetLine', 'dashed', false],
  28. alwaysNoLine: ['SetLine', 'none', true],
  29. alwaysSingleLine: ['SetLine', 'solid', true],
  30. alwaysSolidLine: ['SetLine', 'solid', true],
  31. alwaysDashedLine: ['SetLine', 'dashed', true],
  32. rootAtTop: ['RootAtTop', true],
  33. alwaysRootAtTop: ['RootAtTop', true],
  34. rootAtBottom: ['RootAtTop', false],
  35. alwaysRootAtBottom: ['RootAtTop', false],
  36. fCenter: 'FCenter',
  37. Axiom: 'AxiomF',
  38. UnaryInf: ['InferenceF', 1],
  39. BinaryInf: ['InferenceF', 2],
  40. TrinaryInf: ['InferenceF', 3],
  41. QuaternaryInf: ['InferenceF', 4],
  42. QuinaryInf: ['InferenceF', 5]
  43. }, BussproofsMethods_js_1.default);
  44. new SymbolMap_js_1.EnvironmentMap('Bussproofs-environments', ParseMethods_js_1.default.environment, {
  45. prooftree: ['Prooftree', null, false]
  46. }, BussproofsMethods_js_1.default);
  47. //# sourceMappingURL=BussproofsMappings.js.map