@ohtaman/washi 0.3.0 → 0.5.0

package/dist/types/modeler/lp-writer.d.ts

@@ -2,27 +2,52 @@ import type { Var } from "./variable.js";
 import type { LinExpr } from "./expression.js";
 import type { Constraint } from "./constraint.js";
 import type { OptimizationSense } from "./types.js";
+import type { SolveModelData } from "./solvers/types.js";
 import { QuadExpr } from "./quad-expr.js";
-export interface LpModelData {
+export interface LpModelData extends SolveModelData {
     name?: string;
     sense: OptimizationSense;
     objective: LinExpr | QuadExpr;
     constraints: Constraint[];
     variables: Var[];
 }
+export interface LpSymbolMaps {
+    /** Maps sanitized name in LP/backend to original Var */
+    nameToVar: Map<string, Var>;
+    /** Maps original Var handle to sanitized LP/backend name */
+    varToName: Map<Var, string>;
+    /** Maps sanitized name in LP/backend to original Constraint */
+    nameToConstraint: Map<string, Constraint>;
+    /** Maps original Constraint handle to sanitized LP/backend name */
+    constraintToName: Map<Constraint, string>;
+    /** Alias for constraintToName */
+    constrToName: Map<Constraint, string>;
+    /** Maps original Var handle to its 0-based order index */
+    varOrder: Map<Var, number>;
+}
 export interface LpExportResult {
     lpString: string;
     /** Maps sanitized name in LP to original Var */
     nameToVar: Map<string, Var>;
     /** Maps sanitized name in LP to original Constraint */
     nameToConstraint: Map<string, Constraint>;
+    /** Maps original Var handle to sanitized name in LP */
+    varToName?: Map<Var, string>;
+    /** Maps original Constraint handle to sanitized name in LP */
+    constrToName?: Map<Constraint, string>;
 }
+export declare function isLpExportResult(value: unknown): value is LpExportResult;
 /**
  * Sanitize variable and constraint names to be valid CPLEX LP identifiers:
  * Allowed chars: a-z, A-Z, 0-9, _, !, ", #, $, %, &, (, ), /, ?, @, ~, '
  * Avoid +, -, *, :, <, >, =, [, ], spaces
  */
-export declare function sanitizeIdentifier(raw: string, fallbackPrefix: string, id: number): string;
+export declare function sanitizeIdentifier(raw: string, fallbackPrefix?: string, id?: number): string;
+/**
+ * Builds deterministic, collision-free sanitized identifier mappings for variables and constraints
+ * without serializing a full CPLEX LP text string.
+ */
+export declare function buildLpSymbolMaps(modelData: Pick<LpModelData, "variables" | "constraints">): LpSymbolMaps;
 /**
  * Convert a linear or quadratic model to standard CPLEX LP format string
  */

package/dist/types/modeler/lp-writer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"lp-writer.d.ts","sourceRoot":"","sources":["../../../src/modeler/lp-writer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C,MAAM,WAAW,WAAW;IAC1B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,iBAAiB,CAAC;IACzB,SAAS,EAAE,OAAO,GAAG,QAAQ,CAAC;IAC9B,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,SAAS,EAAE,GAAG,EAAE,CAAC;CAClB;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,gDAAgD;IAChD,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC5B,uDAAuD;IACvD,gBAAgB,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;CAC3C;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,CAW1F;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,WAAW,GAAG,cAAc,CAiLvE"}
+{"version":3,"file":"lp-writer.d.ts","sourceRoot":"","sources":["../../../src/modeler/lp-writer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AACpD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C,MAAM,WAAW,WAAY,SAAQ,cAAc;IACjD,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,iBAAiB,CAAC;IACzB,SAAS,EAAE,OAAO,GAAG,QAAQ,CAAC;IAC9B,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,SAAS,EAAE,GAAG,EAAE,CAAC;CAClB;AAED,MAAM,WAAW,YAAY;IAC3B,wDAAwD;IACxD,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC5B,4DAA4D;IAC5D,SAAS,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IAC5B,+DAA+D;IAC/D,gBAAgB,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAC1C,mEAAmE;IACnE,gBAAgB,EAAE,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAC1C,iCAAiC;IACjC,YAAY,EAAE,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IACtC,0DAA0D;IAC1D,QAAQ,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;CAC5B;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,gDAAgD;IAChD,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC5B,uDAAuD;IACvD,gBAAgB,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAC1C,uDAAuD;IACvD,SAAS,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IAC7B,8DAA8D;IAC9D,YAAY,CAAC,EAAE,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;CACxC;AAED,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,cAAc,CAQxE;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAChC,GAAG,EAAE,MAAM,EACX,cAAc,GAAE,MAAY,EAC5B,EAAE,GAAE,MAAU,GACb,MAAM,CAWR;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAC/B,SAAS,EAAE,IAAI,CAAC,WAAW,EAAE,WAAW,GAAG,aAAa,CAAC,GACxD,YAAY,CAiDd;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,WAAW,GAAG,cAAc,CA6JvE"}