{"version":3,"file":"Variable.js","sourceRoot":"","sources":["../../../../core/kursblockung/satsolver/Variable.ts"],"names":[],"mappings":";;;AAAA,8DAAkF;AAClF,oFAA+I;AAK/I,MAAa,QAAS,SAAQ,uBAAU;IAE9B,EAAE,CAAU;IAEZ,WAAW,CAAwB;IAEnC,OAAO,CAA4B;IAEnC,UAAU,CAA8B;IAEjD,KAAK,GAAY,CAAC,CAAC;IAEnB,QAAQ,GAAqB,IAAI,CAAC;IAGlC;;;;;OAKG;IACH,YAAmB,GAAY;QAC9B,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,EAAE,GAAG,GAAG,CAAC;QACd,IAAI,CAAC,WAAW,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,IAAI,CAAC,OAAO,GAAG,IAAI,mCAAgB,EAAE,CAAC;QACtC,IAAI,CAAC,UAAU,GAAG,IAAI,mCAAgB,EAAE,CAAC;QACzC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QAChB,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;IACtB,CAAC;IAEM,QAAQ;QACd,OAAO,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;IACrB,CAAC;IAED;;;;;OAKG;IACI,OAAO;QACb,IAAI,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE;YAC/B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,+CAA+C,CAAC,CAAC,CAAC;YAC7E,OAAO,IAAI,CAAC;SACZ;QACD,IAAI,CAAC,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE;YACtE,OAAO,IAAI,CAAC;SACZ;QACD,OAAO,KAAK,CAAC;IACd,CAAC;IAED;;;;;;;OAOG;IACI,YAAY,CAAC,CAAY;QAC/B,IAAI,KAAK,GAA0B,CAAC,CAAC,WAAW,CAAC;QACjD,IAAI,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvC,OAAO,IAAI,CAAC;QACb,IAAI,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvC,OAAO,KAAK,CAAC;QACd,IAAI,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvC,OAAO,IAAI,CAAC;QACb,IAAI,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvC,OAAO,KAAK,CAAC;QACd,IAAI,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvC,OAAO,IAAI,CAAC;QACb,IAAI,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvC,OAAO,KAAK,CAAC;QACd,IAAI,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvC,OAAO,IAAI,CAAC;QACb,IAAI,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvC,OAAO,KAAK,CAAC;QACd,OAAO,IAAI,CAAC,MAAM,EAAE,GAAG,GAAG,CAAC;IAC5B,CAAC;IAED;;OAEG;IACI,KAAK;QACX,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,gBAAgB,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QACxD,KAAK,IAAI,CAAC,GAAY,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAC;YACzD,KAAK,IAAI,CAAC,GAAY,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAC;gBAC5D,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;aAC1D;YACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;YACpC,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE;gBAC3B,KAAK,IAAI,CAAC,GAAY,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAC;oBACrE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;iBACnE;aACD;YACD,OAAO,CAAC,GAAG,EAAE,CAAC;SACd;IACF,CAAC;IAED;;;;OAIG;IACH,mBAAmB;QAClB,IAAI,GAAG,GAAY,CAAC,CAAC;QACrB,KAAK,IAAI,IAAI,GAAY,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,EAAE,EAAC;YAC5C,GAAG,IAAI,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;SACjC;QACD,OAAO,GAAG,CAAC;IACZ,CAAC;IAED,sBAAsB,CAAC,IAAa;QACnC,OAAO,CAAC,yDAAyD,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACnF,CAAC;CAED;AArHD,4BAqHC;AAED,SAAgB,4DAA4D,CAAC,GAAa;IACzF,OAAO,GAAe,CAAC;AACxB,CAAC;AAFD,oIAEC"}