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.
- package/.github/workflows/main.yml +22 -0
- package/README.md +3 -2
- package/dist/es/abstract-node.d.ts +1 -1
- package/dist/es/abstract-node.js +45 -51
- package/dist/es/abstract-node.js.map +1 -1
- package/dist/es/branches.d.ts +1 -1
- package/dist/es/branches.js +20 -22
- package/dist/es/branches.js.map +1 -1
- package/dist/es/create-bdd-from-truth-table.d.ts +1 -1
- package/dist/es/create-bdd-from-truth-table.js +19 -57
- package/dist/es/create-bdd-from-truth-table.js.map +1 -1
- package/dist/es/ensure-correct-bdd.js +26 -27
- package/dist/es/ensure-correct-bdd.js.map +1 -1
- package/dist/es/fill-truth-table.d.ts +1 -1
- package/dist/es/fill-truth-table.js +3 -3
- package/dist/es/fill-truth-table.js.map +1 -1
- package/dist/es/find-similar-node.js +3 -3
- package/dist/es/find-similar-node.js.map +1 -1
- package/dist/es/index.d.ts +7 -1
- package/dist/es/index.js.map +1 -1
- package/dist/es/internal-node.d.ts +1 -1
- package/dist/es/internal-node.js +15 -33
- package/dist/es/internal-node.js.map +1 -1
- package/dist/es/leaf-node.d.ts +1 -1
- package/dist/es/leaf-node.js +14 -32
- package/dist/es/leaf-node.js.map +1 -1
- package/dist/es/minimal-string/bdd-to-minimal-string.js +15 -15
- package/dist/es/minimal-string/bdd-to-minimal-string.js.map +1 -1
- package/dist/es/minimal-string/bdd-to-simple-bdd.js +2 -2
- package/dist/es/minimal-string/bdd-to-simple-bdd.js.map +1 -1
- package/dist/es/minimal-string/minimal-string-to-simple-bdd.js +27 -27
- package/dist/es/minimal-string/minimal-string-to-simple-bdd.js.map +1 -1
- package/dist/es/minimal-string/resolve-with-simple-bdd.js +4 -4
- package/dist/es/minimal-string/resolve-with-simple-bdd.js.map +1 -1
- package/dist/es/minimal-string/string-format.js +7 -7
- package/dist/es/minimal-string/string-format.js.map +1 -1
- package/dist/es/optimize-brute-force.d.ts +5 -5
- package/dist/es/optimize-brute-force.js +88 -186
- package/dist/es/optimize-brute-force.js.map +1 -1
- package/dist/es/parents.d.ts +1 -1
- package/dist/es/parents.js +19 -47
- package/dist/es/parents.js.map +1 -1
- package/dist/es/root-node.d.ts +1 -1
- package/dist/es/root-node.js +79 -131
- package/dist/es/root-node.js.map +1 -1
- package/dist/es/types.d.ts +9 -9
- package/dist/es/types.js +1 -0
- package/dist/es/util.d.ts +1 -1
- package/dist/es/util.js +21 -39
- package/dist/es/util.js.map +1 -1
- package/dist/lib/abstract-node.d.ts +1 -1
- package/dist/lib/abstract-node.js +48 -56
- package/dist/lib/abstract-node.js.map +1 -1
- package/dist/lib/branches.d.ts +1 -1
- package/dist/lib/branches.js +21 -26
- package/dist/lib/branches.js.map +1 -1
- package/dist/lib/create-bdd-from-truth-table.d.ts +1 -1
- package/dist/lib/create-bdd-from-truth-table.js +24 -65
- package/dist/lib/create-bdd-from-truth-table.js.map +1 -1
- package/dist/lib/ensure-correct-bdd.js +27 -32
- package/dist/lib/ensure-correct-bdd.js.map +1 -1
- package/dist/lib/fill-truth-table.d.ts +1 -1
- package/dist/lib/fill-truth-table.js +6 -9
- package/dist/lib/fill-truth-table.js.map +1 -1
- package/dist/lib/find-similar-node.js +4 -7
- package/dist/lib/find-similar-node.js.map +1 -1
- package/dist/lib/index.d.ts +7 -1
- package/dist/lib/index.js +13 -18
- package/dist/lib/index.js.map +1 -1
- package/dist/lib/internal-node.d.ts +1 -1
- package/dist/lib/internal-node.js +18 -38
- package/dist/lib/internal-node.js.map +1 -1
- package/dist/lib/leaf-node.d.ts +1 -1
- package/dist/lib/leaf-node.js +17 -37
- package/dist/lib/leaf-node.js.map +1 -1
- package/dist/lib/minimal-string/bdd-to-minimal-string.js +21 -25
- package/dist/lib/minimal-string/bdd-to-minimal-string.js.map +1 -1
- package/dist/lib/minimal-string/bdd-to-simple-bdd.js +4 -8
- package/dist/lib/minimal-string/bdd-to-simple-bdd.js.map +1 -1
- package/dist/lib/minimal-string/index.js +5 -10
- package/dist/lib/minimal-string/index.js.map +1 -1
- package/dist/lib/minimal-string/minimal-string-to-simple-bdd.js +30 -33
- package/dist/lib/minimal-string/minimal-string-to-simple-bdd.js.map +1 -1
- package/dist/lib/minimal-string/resolve-with-simple-bdd.js +6 -9
- package/dist/lib/minimal-string/resolve-with-simple-bdd.js.map +1 -1
- package/dist/lib/minimal-string/string-format.js +12 -18
- package/dist/lib/minimal-string/string-format.js.map +1 -1
- package/dist/lib/optimize-brute-force.d.ts +5 -5
- package/dist/lib/optimize-brute-force.js +93 -197
- package/dist/lib/optimize-brute-force.js.map +1 -1
- package/dist/lib/parents.d.ts +1 -1
- package/dist/lib/parents.js +19 -49
- package/dist/lib/parents.js.map +1 -1
- package/dist/lib/root-node.d.ts +1 -1
- package/dist/lib/root-node.js +84 -138
- package/dist/lib/root-node.js.map +1 -1
- package/dist/lib/types.d.ts +9 -9
- package/dist/lib/types.js +1 -2
- package/dist/lib/util.d.ts +1 -1
- package/dist/lib/util.js +36 -71
- package/dist/lib/util.js.map +1 -1
- package/package.json +16 -11
- package/renovate.json +3 -2
- package/src/abstract-node.ts +1 -1
- package/src/branches.ts +1 -2
- package/src/create-bdd-from-truth-table.ts +1 -1
- package/src/ensure-correct-bdd.ts +1 -1
- package/src/fill-truth-table.ts +1 -1
- package/src/index.ts +19 -1
- package/src/internal-node.ts +1 -1
- package/src/leaf-node.ts +1 -1
- package/src/optimize-brute-force.ts +1 -1
- package/src/parents.ts +1 -1
- package/src/root-node.ts +1 -1
- package/src/types.ts +1 -1
- package/src/util.ts +1 -1
- package/tsconfig.json +2 -2
- 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
|
package/src/fill-truth-table.ts
CHANGED
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';
|
package/src/internal-node.ts
CHANGED
|
@@ -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
|
|
package/src/parents.ts
CHANGED
package/src/root-node.ts
CHANGED
package/src/types.ts
CHANGED
package/src/util.ts
CHANGED
package/tsconfig.json
CHANGED
|
@@ -12,7 +12,7 @@
|
|
|
12
12
|
"moduleResolution": "node",
|
|
13
13
|
"esModuleInterop": true,
|
|
14
14
|
"declaration": true,
|
|
15
|
-
"target": "
|
|
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
|
+
}
|