binary-decision-diagram 1.3.1 → 2.0.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (118) hide show
  1. package/.github/workflows/main.yml +22 -0
  2. package/README.md +3 -2
  3. package/dist/es/abstract-node.d.ts +1 -1
  4. package/dist/es/abstract-node.js +45 -51
  5. package/dist/es/abstract-node.js.map +1 -1
  6. package/dist/es/branches.d.ts +1 -1
  7. package/dist/es/branches.js +20 -22
  8. package/dist/es/branches.js.map +1 -1
  9. package/dist/es/create-bdd-from-truth-table.d.ts +1 -1
  10. package/dist/es/create-bdd-from-truth-table.js +19 -57
  11. package/dist/es/create-bdd-from-truth-table.js.map +1 -1
  12. package/dist/es/ensure-correct-bdd.js +26 -27
  13. package/dist/es/ensure-correct-bdd.js.map +1 -1
  14. package/dist/es/fill-truth-table.d.ts +1 -1
  15. package/dist/es/fill-truth-table.js +3 -3
  16. package/dist/es/fill-truth-table.js.map +1 -1
  17. package/dist/es/find-similar-node.js +3 -3
  18. package/dist/es/find-similar-node.js.map +1 -1
  19. package/dist/es/index.d.ts +7 -1
  20. package/dist/es/index.js.map +1 -1
  21. package/dist/es/internal-node.d.ts +1 -1
  22. package/dist/es/internal-node.js +15 -33
  23. package/dist/es/internal-node.js.map +1 -1
  24. package/dist/es/leaf-node.d.ts +1 -1
  25. package/dist/es/leaf-node.js +14 -32
  26. package/dist/es/leaf-node.js.map +1 -1
  27. package/dist/es/minimal-string/bdd-to-minimal-string.js +15 -15
  28. package/dist/es/minimal-string/bdd-to-minimal-string.js.map +1 -1
  29. package/dist/es/minimal-string/bdd-to-simple-bdd.js +2 -2
  30. package/dist/es/minimal-string/bdd-to-simple-bdd.js.map +1 -1
  31. package/dist/es/minimal-string/minimal-string-to-simple-bdd.js +27 -27
  32. package/dist/es/minimal-string/minimal-string-to-simple-bdd.js.map +1 -1
  33. package/dist/es/minimal-string/resolve-with-simple-bdd.js +4 -4
  34. package/dist/es/minimal-string/resolve-with-simple-bdd.js.map +1 -1
  35. package/dist/es/minimal-string/string-format.js +7 -7
  36. package/dist/es/minimal-string/string-format.js.map +1 -1
  37. package/dist/es/optimize-brute-force.d.ts +5 -5
  38. package/dist/es/optimize-brute-force.js +88 -186
  39. package/dist/es/optimize-brute-force.js.map +1 -1
  40. package/dist/es/parents.d.ts +1 -1
  41. package/dist/es/parents.js +19 -47
  42. package/dist/es/parents.js.map +1 -1
  43. package/dist/es/root-node.d.ts +1 -1
  44. package/dist/es/root-node.js +79 -131
  45. package/dist/es/root-node.js.map +1 -1
  46. package/dist/es/types.d.ts +9 -9
  47. package/dist/es/types.js +1 -0
  48. package/dist/es/util.d.ts +1 -1
  49. package/dist/es/util.js +21 -39
  50. package/dist/es/util.js.map +1 -1
  51. package/dist/lib/abstract-node.d.ts +1 -1
  52. package/dist/lib/abstract-node.js +48 -56
  53. package/dist/lib/abstract-node.js.map +1 -1
  54. package/dist/lib/branches.d.ts +1 -1
  55. package/dist/lib/branches.js +21 -26
  56. package/dist/lib/branches.js.map +1 -1
  57. package/dist/lib/create-bdd-from-truth-table.d.ts +1 -1
  58. package/dist/lib/create-bdd-from-truth-table.js +24 -65
  59. package/dist/lib/create-bdd-from-truth-table.js.map +1 -1
  60. package/dist/lib/ensure-correct-bdd.js +27 -32
  61. package/dist/lib/ensure-correct-bdd.js.map +1 -1
  62. package/dist/lib/fill-truth-table.d.ts +1 -1
  63. package/dist/lib/fill-truth-table.js +6 -9
  64. package/dist/lib/fill-truth-table.js.map +1 -1
  65. package/dist/lib/find-similar-node.js +4 -7
  66. package/dist/lib/find-similar-node.js.map +1 -1
  67. package/dist/lib/index.d.ts +7 -1
  68. package/dist/lib/index.js +13 -18
  69. package/dist/lib/index.js.map +1 -1
  70. package/dist/lib/internal-node.d.ts +1 -1
  71. package/dist/lib/internal-node.js +18 -38
  72. package/dist/lib/internal-node.js.map +1 -1
  73. package/dist/lib/leaf-node.d.ts +1 -1
  74. package/dist/lib/leaf-node.js +17 -37
  75. package/dist/lib/leaf-node.js.map +1 -1
  76. package/dist/lib/minimal-string/bdd-to-minimal-string.js +21 -25
  77. package/dist/lib/minimal-string/bdd-to-minimal-string.js.map +1 -1
  78. package/dist/lib/minimal-string/bdd-to-simple-bdd.js +4 -8
  79. package/dist/lib/minimal-string/bdd-to-simple-bdd.js.map +1 -1
  80. package/dist/lib/minimal-string/index.js +5 -10
  81. package/dist/lib/minimal-string/index.js.map +1 -1
  82. package/dist/lib/minimal-string/minimal-string-to-simple-bdd.js +30 -33
  83. package/dist/lib/minimal-string/minimal-string-to-simple-bdd.js.map +1 -1
  84. package/dist/lib/minimal-string/resolve-with-simple-bdd.js +6 -9
  85. package/dist/lib/minimal-string/resolve-with-simple-bdd.js.map +1 -1
  86. package/dist/lib/minimal-string/string-format.js +12 -18
  87. package/dist/lib/minimal-string/string-format.js.map +1 -1
  88. package/dist/lib/optimize-brute-force.d.ts +5 -5
  89. package/dist/lib/optimize-brute-force.js +93 -197
  90. package/dist/lib/optimize-brute-force.js.map +1 -1
  91. package/dist/lib/parents.d.ts +1 -1
  92. package/dist/lib/parents.js +19 -49
  93. package/dist/lib/parents.js.map +1 -1
  94. package/dist/lib/root-node.d.ts +1 -1
  95. package/dist/lib/root-node.js +84 -138
  96. package/dist/lib/root-node.js.map +1 -1
  97. package/dist/lib/types.d.ts +9 -9
  98. package/dist/lib/types.js +1 -2
  99. package/dist/lib/util.d.ts +1 -1
  100. package/dist/lib/util.js +36 -71
  101. package/dist/lib/util.js.map +1 -1
  102. package/package.json +16 -11
  103. package/renovate.json +3 -2
  104. package/src/abstract-node.ts +1 -1
  105. package/src/branches.ts +1 -2
  106. package/src/create-bdd-from-truth-table.ts +1 -1
  107. package/src/ensure-correct-bdd.ts +1 -1
  108. package/src/fill-truth-table.ts +1 -1
  109. package/src/index.ts +19 -1
  110. package/src/internal-node.ts +1 -1
  111. package/src/leaf-node.ts +1 -1
  112. package/src/optimize-brute-force.ts +1 -1
  113. package/src/parents.ts +1 -1
  114. package/src/root-node.ts +1 -1
  115. package/src/types.ts +1 -1
  116. package/src/util.ts +1 -1
  117. package/tsconfig.json +2 -2
  118. package/.travis.yml +0 -13
@@ -2,7 +2,7 @@ import { RootNode } from './root-node';
2
2
  import { lastChar } from './util';
3
3
  import { InternalNode } from './internal-node';
4
4
  import { LeafNode } from './leaf-node';
5
- import { TruthTable, NonLeafNode, BooleanString } from './types';
5
+ import type { TruthTable, NonLeafNode, BooleanString } from './types';
6
6
 
7
7
  export function createBddFromTruthTable(
8
8
  truthTable: TruthTable
@@ -1,6 +1,6 @@
1
1
  import { RootNode } from './root-node';
2
2
  import { AbstractNode } from './abstract-node';
3
- import { NonRootNode, NonLeafNode } from './types';
3
+ import type { NonRootNode, NonLeafNode } from './types';
4
4
  import { InternalNode } from './internal-node';
5
5
 
6
6
  /**
@@ -3,7 +3,7 @@ import {
3
3
  maxBinaryWithLength,
4
4
  getNextStateSet
5
5
  } from './util';
6
- import { TruthTable } from './types';
6
+ import type { TruthTable } from './types';
7
7
 
8
8
  /**
9
9
  * fills each missing row of a table
package/src/index.ts CHANGED
@@ -10,5 +10,23 @@ export * from './leaf-node';
10
10
  export * from './optimize-brute-force';
11
11
  export * from './parents';
12
12
  export * from './root-node';
13
- export * from './types';
14
13
  export * from './util';
14
+
15
+ /**
16
+ * There is no "export type * from 'xxx'"
17
+ * So we have to export each type by its own
18
+ * to ensure the types js file is not included
19
+ * into the bundle.
20
+ */
21
+
22
+ export type {
23
+ NodeType,
24
+ NonLeafNode,
25
+ NonRootNode,
26
+ TruthTable,
27
+ BooleanString,
28
+ ResolverFunction,
29
+ ResolverFunctions,
30
+ SimpleBddLeafNode,
31
+ SimpleBdd
32
+ } from './types';
@@ -2,7 +2,7 @@ import { Branches } from './branches';
2
2
  import { Parents } from './parents';
3
3
  import { RootNode } from './root-node';
4
4
  import { AbstractNode } from './abstract-node';
5
- import { NonLeafNode, NonRootNode } from './types';
5
+ import type { NonLeafNode, NonRootNode } from './types';
6
6
 
7
7
  export class InternalNode extends AbstractNode {
8
8
  public branches: Branches = new Branches(this);
package/src/leaf-node.ts CHANGED
@@ -1,7 +1,7 @@
1
1
  import { Parents } from './parents';
2
2
  import { AbstractNode } from './abstract-node';
3
3
  import { RootNode } from './root-node';
4
- import { NonLeafNode } from './types';
4
+ import type { NonLeafNode } from './types';
5
5
  import { oppositeBoolean } from './util';
6
6
  import { InternalNode } from './internal-node';
7
7
 
@@ -1,4 +1,4 @@
1
- import { TruthTable } from './types';
1
+ import type { TruthTable } from './types';
2
2
  import { RootNode } from './root-node';
3
3
  import { createBddFromTruthTable } from './create-bdd-from-truth-table';
4
4
  import { firstKeyOfMap, shuffleArray, lastOfArray } from './util';
package/src/parents.ts CHANGED
@@ -1,4 +1,4 @@
1
- import {
1
+ import type {
2
2
  NonLeafNode,
3
3
  NonRootNode
4
4
  } from './types';
package/src/root-node.ts CHANGED
@@ -1,6 +1,6 @@
1
1
  import { AbstractNode } from './abstract-node';
2
2
  import { Branches } from './branches';
3
- import {
3
+ import type {
4
4
  NonRootNode,
5
5
  ResolverFunctions,
6
6
  NonLeafNode,
package/src/types.ts CHANGED
@@ -34,4 +34,4 @@ export type SimpleBdd = {
34
34
  0: SimpleBdd | SimpleBddLeafNode; // branch-0
35
35
  1: SimpleBdd | SimpleBddLeafNode; // branch-1
36
36
  l: number; // level of the boolean function
37
- }
37
+ };
package/src/util.ts CHANGED
@@ -1,4 +1,4 @@
1
- import { BooleanString } from './types';
1
+ import type { BooleanString } from './types';
2
2
 
3
3
  export function booleanStringToBoolean(str: BooleanString): boolean {
4
4
  if (str === '1') {
package/tsconfig.json CHANGED
@@ -12,7 +12,7 @@
12
12
  "moduleResolution": "node",
13
13
  "esModuleInterop": true,
14
14
  "declaration": true,
15
- "target": "es5",
15
+ "target": "ES2017",
16
16
  "outDir": "./dist/lib",
17
17
  "lib": [
18
18
  "es7",
@@ -35,4 +35,4 @@
35
35
  "**.json"
36
36
  ],
37
37
  "compileOnSave": false
38
- }
38
+ }
package/.travis.yml DELETED
@@ -1,13 +0,0 @@
1
- language: node_js
2
- sudo: required
3
- dist: trusty
4
- os:
5
- - linux
6
- node_js:
7
- - "11.9.0"
8
-
9
- script:
10
- - travis_retry npm install --silent
11
- - npm run build
12
- - npm run lint
13
- - npm run test