5.1.0

javascript/dist/cjs/src/bdd/bdd.generated.d.ts

@@ -1,5 +1,5 @@
 import { SimpleBdd } from 'binary-decision-diagram';
 import type { StateResolveFunctionInput } from '../types/index.js';
-export declare const minimalBddString = "14a1b,c+d2e5f0g/h.i4j*k-l)m(n6obh9pce9qnh9rad9scm9tae9uan9vbf9wbe9xbn9ycg9zck9{cn9|nd9}ne9~nf9ng9\u00A1nm9\u00A2nk9\u00A3mh9\u00A4mi9\u00A5mj9\u00A6mk9\u00A7ml9\u00A8mn9\u00A9mc8\u00AA\u00A4{8\u00AB\u00A5z8\u00AC\u00A8s8\u00AD\u00A8n8\u00AEmn8\u00AF\u00A8\u00A18\u00B0\u00A8m8\u00B1pz7\u00B2\u00AA\u00AB7\u00B3{z7\u00B4\u00AD\u00AE7\u00B5}n7\u00B6\u00A4\u00A57\u00B7\u00A8m7\u00B8wo6\u00B9\u00B5}6\u00BAnq6\u00BB\u00B2\u00AC6\u00BCtu6\u00BDwx6\u00BE\u00B4\u00AF6\u00BF\u00B5n6\u00C0\u00AE\u00AF6\u00C1\u00B6\u00A76\u00C2\u00B7\u00A36\u00C3\u00B6\u00A86\u00C4\u00B7\u00A86\u00C5m\u00A66\u00C6m\u00A86\u00C7\u00A4\u00A55\u00C8\u00A8m5\u00C9m\u00A94\u00CAm\u00AE4\u00CB\u00C7\u00A74\u00CC\u00C8\u00A34\u00CD\u00C7\u00AC4\u00CE\u00C3\u00BB4\u00CF\u00C8\u00AF4\u00D0\u00C4\u00BE4\u00D1m\u00A64\u00D2m\u00AF4\u00D3\u00C6\u00C04\u00D4ma3\u00D5mn3\u00D6\u00C9a3\u00D7\u00CAn3\u00D8\u00CBr3\u00D9\u00C1t3\u00DA\u00CC|3\u00DB\u00C2\u00B93\u00DC\u00CDr3\u00DD\u00CE\u00BC3\u00DE\u00CF|3\u00DF\u00D0\u00BF3\u00E0\u00D8\u00D92\u00E1v\u00B82\u00E2y\u00B12\u00E3\u00DA\u00DB2\u00E4~\u00BA2\u00E5\u00B52\u00E6\u00DC\u00DD2\u00E7v\u00BD2\u00E8y\u00B32\u00E9z{2\u00EA\u00DE\u00DF2\u00EB~n2\u00ECn2\u00ED\u00D1\u00C52\u00EE\u00D2\u00D32\u00EF\u00A2n2\u00F0\u00D4b1\u00F1\u00D5n1\u00F2\u00D6b1\u00F3\u00D7n1\u00F4\u00E0\u00E11\u00F5\u00E2z1\u00F6\u00E3\u00E41\u00F7\u00E6\u00E71\u00F8\u00E8\u00E91\u00F9\u00EA\u00EB1\u00FA\u00F0c0\u00FB\u00F1n0\u00FC\u00F2c0\u00FD\u00F3n0\u00FEmn0\u00FF\u00CAn0\u0100\u00F4\u00F50\u0101\u00F6\u00E50\u0102\u00F7\u00F80\u0103\u00F9\u00EC0\u0104\u00ED\u00EF0\u0105\u00EE\u00EF0\u0106\u00FA\u00FB/\u0107\u00FC\u00FD/\u0108\u0100\u0101/\u0109\u0102\u0103/\u010A\u00C1\u00C2/\u010B\u00C3\u00C4/\u010C\u00FAm.\u010D\u00FCm.\u010E\u0106m.\u010F\u0107m.\u0110\u00FEm.\u0111\u00FFm.\u0112\u0100\u00A7.\u0113\u0102\u00B0.\u0114\u0108\u00A7.\u0115\u0109\u00B0.\u0116\u0104\u00A7.\u0117\u0105\u00B0.\u0118\u00C1\u00A7.\u0119\u00C3\u00A8.\u011A\u010A\u00A7.\u011B\u010B\u00A8.\u011C\u00C5\u00A7.\u011D\u00C6\u00A8.\u011E\u010C\u010D-\u011F\u010E\u010F-\u0120\u0110\u0111-\u0121\u0112\u0113-\u0122\u0114\u0115-\u0123\u0116\u0117-\u0124\u0118\u0119-\u0125\u011A\u011B-\u0126\u011C\u011D-\u0127\u011F\u0120,\u0128\u0122\u0123,\u0129\u0125\u0126,\u012A\u011E\u0127+\u012B\u0121\u0128+\u012C\u0124\u0129+\u012D\u012A\u012B)\u012D\u012C(";
+export declare const minimalBddString = "14a1b,c+d2e5f0g/h.i4j*k-l)m(n6oeh6pnm6qen6ril6snh6tin6ubo9vce9wmh9xns9yne9zmi9{cm9|ad9}cp9~aq9ae9\u00A1bf9\u00A2bq9\u00A3cg9\u00A4ck9\u00A5cn9\u00A6nd9\u00A7np9\u00A8nq9\u00A9nf9\u00AAng9\u00ABnm9\u00ACnk9\u00ADmr9\u00AEms9\u00AFmt9\u00B0mj9\u00B1mk9\u00B2ml9\u00B3mn9\u00B4mc8\u00B5\u00B3{8\u00B6\u00AF}8\u00B7\u00B0\u00A48\u00B8\u00B3\u00A78\u00B9mn8\u00BA\u00B3\u00AB8\u00BB\u00B3m8\u00BCm\u00B44\u00BDz\u00B24\u00BE\u00B3w4\u00BFz\u00B54\u00C0\u00AF\u00B64\u00C1\u00B0\u00B74\u00C2\u00B3\u00BA4\u00C3\u00B3\u00B84\u00C4m\u00B94\u00C5v\u00A47\u00C6yn7\u00C7\u00C0\u00C17\u00C8~7\u00C9\u00A5\u00A47\u00CA\u00C3\u00C47\u00CB\u00A8n7\u00CC\u00BA\u00B97\u00CD\u00AD\u00B07\u00CE\u00AEm7\u00CF\u00AF\u00B07\u00D0\u00B1m7\u00D1\u00B3m7\u00D2\u00BCm5\u00D3\u00C4m5\u00D4\u00B9m5\u00D5\u00BD\u00B05\u00D6\u00BEm5\u00D7\u00BF\u00B05\u00D8\u00C7\u00CF5\u00D9\u00C2m5\u00DA\u00CA\u00D15\u00DB\u00B1m5\u00DC\u00BAm5\u00DD\u00CC\u00D15\u00DE\u00D5\u00CD2\u00DF|2\u00E0\u00A1u2\u00E1\u00A3\u00C52\u00E2\u00D6\u00CE2\u00E3\u00A6\u00C62\u00E4\u00A9x2\u00E5\u00AA\u00C62\u00E6\u00D7\u00D82\u00E7|\u00C82\u00E8\u00A1\u00A22\u00E9\u00A3\u00C92\u00EA\u00A4\u00A52\u00EB\u00D9\u00DA2\u00EC\u00A6\u00CB2\u00ED\u00A9n2\u00EE\u00AAn2\u00EF\u00DB\u00D02\u00F0\u00DC\u00DD2\u00F1\u00ACn2\u00F2\u00D2\u00D3/\u00F3an/\u00F4bn/\u00F5cn/\u00F6\u00DE\u00E2/\u00F7\u00DF\u00E3/\u00F8\u00E0\u00E4/\u00F9\u00E1\u00E5/\u00FA\u00E6\u00EB/\u00FB\u00E7\u00EC/\u00FC\u00E8\u00ED/\u00FD\u00E9\u00EE/\u00FE\u00CD\u00CE/\u00FF\u00CF\u00D1/\u0100\u00F2\u00D4,\u0101cn,\u0102\u00F6\u00EF,\u0103\u00A4\u00F1,\u0104\u00FA\u00F0,\u0105\u00EA\u00F1,\u0106\u00FE\u00D0,\u0107\u00FF\u00D1,\u0108ac0\u0109bc0\u010A\u00F3\u00F50\u010B\u00F4\u01010\u010C\u00DF\u00E10\u010D\u00E0\u00A40\u010E\u00E7\u00E90\u010F\u00E8\u00EA0\u0110\u00F7\u00F90\u0111\u00F8\u01030\u0112\u00FB\u00FD0\u0113\u00FC\u01050\u0114m\u00D2-\u0115m\u0100-\u0116\u00DE\u00E6-\u0117\u010C\u010E-\u0118\u010D\u010F-\u0119\u0102\u0104-\u011A\u0110\u0112-\u011B\u0111\u0113-\u011C\u00B2\u00BB-\u011D\u00CD\u00CF-\u011E\u0106\u0107-\u011F\u00B2\u00B3-\u0120\u0114\u01083\u0121\u0115\u010A3\u0122\u0116\u01173\u0123\u0119\u011A3\u0124\u0122\u011D(\u0125\u011C\u011F(\u0126\u0123\u011E(\u0127\u0120\u0121+\u0128\u0109\u010B+\u0129\u0124\u0126+\u012A\u0118\u011B+\u012B\u0127\u01281\u012C\u0129\u012A1\u012D\u012C\u012B*\u012E\u0125m*\u012D\u012E.";
 export declare function getSimpleBdd(): SimpleBdd;
 export declare const resolveInput: (input: StateResolveFunctionInput<any>) => number;

javascript/dist/cjs/src/bdd/write-bdd-template.d.ts

@@ -1,3 +1,5 @@
+import { PerformanceMeasurement } from '../truth-table-generator/calculate-bdd-quality.js';
 export declare const BDD_TEMPLATE_LOCATION: string;
+export declare const BDD_OPTIMIZE_STATE_LOCATION: string;
 export declare const BDD_TEMPLATE_GOAL: string;
-export declare function writeBddTemplate(minimalBddString: string): void;
+export declare function writeBddTemplate(minimalBddString: string, performanceMeasurement: PerformanceMeasurement, quality: number): void;