{"version":3,"file":"Clause.js","sourceRoot":"","sources":["../../../../core/kursblockung/satsolver/Clause.ts"],"names":[],"mappings":";;;AAAA,8DAAkF;AAClF,gEAAqF;AACrF,yDAAmG;AAEnG,4EAAuI;AACvI,kFAAoH;AAIpH,MAAa,MAAO,SAAQ,uBAAU;IAE5B,SAAS,CAAmB;IAErC,IAAI,GAAY,CAAC,CAAC;IAElB,GAAG,GAAY,CAAC,CAAC;IA2BjB;;OAEG;IACH,YAAmB,QAAmB,EAAE,QAAoB,EAAE,QAAoB;QACjF,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,CAAC,OAAO,QAAQ,KAAK,WAAW,CAAC,IAAI,CAAC,CAAC,QAAQ,YAAY,uBAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,sBAAsB,CAAC,yDAAyD,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,QAAQ,KAAK,WAAW,CAAC,IAAI,CAAC,OAAO,QAAQ,KAAK,WAAW,CAAC,EAAE;YACxP,IAAI,EAAE,GAAc,IAAA,uEAA4D,EAAC,QAAQ,CAAC,CAAC;YAC3F,IAAI,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC,CAAC;YACtB,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;YACd,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;SACb;aAAM,IAAI,CAAC,CAAC,OAAO,QAAQ,KAAK,WAAW,CAAC,IAAI,CAAC,CAAC,QAAQ,YAAY,uBAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,sBAAsB,CAAC,yDAAyD,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,QAAQ,KAAK,WAAW,CAAC,IAAI,CAAC,CAAC,QAAQ,YAAY,uBAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,sBAAsB,CAAC,yDAAyD,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,QAAQ,KAAK,WAAW,CAAC,EAAE;YACvY,IAAI,EAAE,GAAc,IAAA,uEAA4D,EAAC,QAAQ,CAAC,CAAC;YAC3F,IAAI,EAAE,GAAc,IAAA,uEAA4D,EAAC,QAAQ,CAAC,CAAC;YAC3F,IAAI,CAAC,SAAS,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YAC1B,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;YACd,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;SACb;aAAM,IAAI,CAAC,CAAC,OAAO,QAAQ,KAAK,WAAW,CAAC,IAAI,CAAC,CAAC,QAAQ,YAAY,uBAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,sBAAsB,CAAC,yDAAyD,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,QAAQ,KAAK,WAAW,CAAC,IAAI,CAAC,CAAC,QAAQ,YAAY,uBAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,sBAAsB,CAAC,yDAAyD,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,QAAQ,KAAK,WAAW,CAAC,IAAI,CAAC,CAAC,QAAQ,YAAY,uBAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,sBAAsB,CAAC,yDAAyD,CAAC,CAAC,CAAC,CAAC,EAAE;YAC/gB,IAAI,EAAE,GAAc,IAAA,uEAA4D,EAAC,QAAQ,CAAC,CAAC;YAC3F,IAAI,EAAE,GAAc,IAAA,uEAA4D,EAAC,QAAQ,CAAC,CAAC;YAC3F,IAAI,EAAE,GAAc,IAAA,uEAA4D,EAAC,QAAQ,CAAC,CAAC;YAC3F,IAAI,CAAC,SAAS,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;YAC9B,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;YACd,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;SACb;;YAAM,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACnD,CAAC;IAEM,QAAQ;QACd,IAAI,CAAC,GAAY,EAAE,CAAC;QACpB,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,EAAE;YAC7B,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE;gBACnB,OAAO,OAAO,CAAC;aACf;YACD,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,EAAE;gBACjB,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,GAAG,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;aAC7B;SACD;QACD,OAAO,GAAG,GAAG,CAAC,CAAC,OAAO,EAAE,GAAG,GAAG,CAAC;IAChC,CAAC;IAEO,MAAM;QACb,IAAI,GAAG,GAAoB,IAAI,eAAM,EAAE,CAAC;QACxC,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,EAAE;YAC7B,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,EAAE;gBACjB,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;aACd;SACD;QACD,OAAO,GAAG,CAAC;IACZ,CAAC;IAEM,SAAS,CAAC,CAAU;QAC1B,IAAI,IAAI,GAAoB,IAAI,CAAC,MAAM,EAAE,CAAC;QAC1C,IAAI,IAAI,GAAoB,CAAC,CAAC,MAAM,EAAE,CAAC;QACvC,IAAI,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE;YAC5B,OAAO,CAAC,CAAC,CAAC;QACX,IAAI,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE;YAC5B,OAAO,CAAC,CAAC,CAAC;QACX,IAAI,EAAE,GAAiC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACvD,IAAI,EAAE,GAAiC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACvD,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC;YACjC,MAAM,IAAI,2CAAoB,EAAE,CAAA;QACjC,OAAO,EAAE,CAAC,OAAO,EAAE,EAAE;YACpB,IAAI,GAAG,GAAY,yBAAW,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;YACjF,IAAI,GAAG,KAAK,CAAC;gBACZ,OAAO,GAAG,CAAC;SACZ;QACD,OAAO,CAAC,CAAC;IACV,CAAC;IAED,sBAAsB,CAAC,IAAa;QACnC,OAAO,CAAC,sBAAsB,EAAE,uDAAuD,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzG,CAAC;CAED;AAzGD,wBAyGC;AAED,SAAgB,0DAA0D,CAAC,GAAa;IACvF,OAAO,GAAa,CAAC;AACtB,CAAC;AAFD,gIAEC"}