{"version":3,"file":"solver-context.d.ts","sourceRoot":"","sources":["../../src/contracts/solver-context.ts"],"names":[],"mappings":"AAmBA,yDAAyD;AACzD,MAAM,WAAW,cAAc;IAC3B,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,GAAG,CAAC;IACzB,GAAG,CAAC,CAAC,EAAE,MAAM,GAAG,GAAG,CAAC;IACpB,IAAI,IAAI,GAAG,CAAC;CACf;AAED,yDAAyD;AACzD,MAAM,WAAW,eAAe;IAC5B,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,GAAG,CAAC;IACzB,GAAG,CAAC,CAAC,EAAE,OAAO,GAAG,GAAG,CAAC;CACxB;AAED,sDAAsD;AACtD,MAAM,WAAW,eAAe;IAC5B,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,GAAG,CAAC;IACzB,GAAG,CAAC,CAAC,EAAE,MAAM,GAAG,GAAG,CAAC;CACvB;AAMD,2BAA2B;AAC3B,MAAM,WAAW,SAAS;IACtB,yCAAyC;IACzC,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAEtC,wBAAwB;IACxB,GAAG,CAAC,IAAI,EAAE,GAAG,GAAG,IAAI,CAAC;IAErB,4BAA4B;IAC5B,KAAK,IAAI,OAAO,CAAC,KAAK,GAAG,OAAO,GAAG,SAAS,CAAC,CAAC;IAE9C,iEAAiE;IACjE,SAAS,CAAC,IAAI,KAAK,GAAG,OAAO,GAAG,SAAS,CAAC;IAE1C,0DAA0D;IAC1D,KAAK,IAAI,QAAQ,CAAC;CACrB;AAED,0CAA0C;AAC1C,MAAM,WAAW,QAAQ;IACrB,2CAA2C;IAC3C,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,OAAO,GAAG,GAAG,CAAC;CAC7C;AAMD;;;;;;;;;GASG;AACH,MAAM,WAAW,aAAa;IAE1B,QAAQ,CAAC,GAAG,EAAE,cAAc,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAG/B,GAAG,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IACzB,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IACxB,GAAG,CAAC,IAAI,EAAE,GAAG,GAAG,GAAG,CAAC;IACpB,OAAO,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,GAAG,GAAG,CAAC;IAC7B,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,GAAG,GAAG,CAAC;IAGjD,MAAM,EAAE;QAAE,QAAO,SAAS,CAAA;KAAE,CAAC;IAI7B,0CAA0C;IAC1C,MAAM,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,GAAG,GAAG,GAAG,CAAC;IAErC,0CAA0C;IAC1C,MAAM,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,GAAG,GAAG,GAAG,CAAC;IAErC,oCAAoC;IACpC,QAAQ,CAAC,KAAK,CAAC,EAAE;QACb,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,GAAG,GAAG,CAAC;KAC1D,CAAC;IAEF,gDAAgD;IAChD,QAAQ,CAAC,QAAQ,CAAC,EAAE;QAChB,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,KAAK,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;KAC/C,CAAC;CACL"}