@stevenvo780/st-lang 4.3.0 → 4.5.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/coinduction/index.d.ts +136 -0
- package/dist/coinduction/index.d.ts.map +1 -0
- package/dist/coinduction/index.js +318 -0
- package/dist/coinduction/index.js.map +1 -0
- package/dist/combinators-ski/abstract.d.ts +5 -0
- package/dist/combinators-ski/abstract.d.ts.map +1 -0
- package/dist/combinators-ski/abstract.js +88 -0
- package/dist/combinators-ski/abstract.js.map +1 -0
- package/dist/combinators-ski/index.d.ts +6 -0
- package/dist/combinators-ski/index.d.ts.map +1 -0
- package/dist/combinators-ski/index.js +30 -0
- package/dist/combinators-ski/index.js.map +1 -0
- package/dist/combinators-ski/reduce.d.ts +10 -0
- package/dist/combinators-ski/reduce.d.ts.map +1 -0
- package/dist/combinators-ski/reduce.js +118 -0
- package/dist/combinators-ski/reduce.js.map +1 -0
- package/dist/combinators-ski/types.d.ts +23 -0
- package/dist/combinators-ski/types.d.ts.map +1 -0
- package/dist/combinators-ski/types.js +102 -0
- package/dist/combinators-ski/types.js.map +1 -0
- package/dist/constructive-reals/index.d.ts +132 -0
- package/dist/constructive-reals/index.d.ts.map +1 -0
- package/dist/constructive-reals/index.js +723 -0
- package/dist/constructive-reals/index.js.map +1 -0
- package/dist/game-semantics/convert.d.ts +4 -0
- package/dist/game-semantics/convert.d.ts.map +1 -0
- package/dist/game-semantics/convert.js +28 -0
- package/dist/game-semantics/convert.js.map +1 -0
- package/dist/game-semantics/index.d.ts +6 -0
- package/dist/game-semantics/index.d.ts.map +1 -0
- package/dist/game-semantics/index.js +28 -0
- package/dist/game-semantics/index.js.map +1 -0
- package/dist/game-semantics/strategy.d.ts +34 -0
- package/dist/game-semantics/strategy.d.ts.map +1 -0
- package/dist/game-semantics/strategy.js +336 -0
- package/dist/game-semantics/strategy.js.map +1 -0
- package/dist/game-semantics/types.d.ts +64 -0
- package/dist/game-semantics/types.d.ts.map +1 -0
- package/dist/game-semantics/types.js +78 -0
- package/dist/game-semantics/types.js.map +1 -0
- package/dist/higher-order-unify/index.d.ts +5 -0
- package/dist/higher-order-unify/index.d.ts.map +1 -0
- package/dist/higher-order-unify/index.js +27 -0
- package/dist/higher-order-unify/index.js.map +1 -0
- package/dist/higher-order-unify/normalize.d.ts +14 -0
- package/dist/higher-order-unify/normalize.d.ts.map +1 -0
- package/dist/higher-order-unify/normalize.js +191 -0
- package/dist/higher-order-unify/normalize.js.map +1 -0
- package/dist/higher-order-unify/pattern.d.ts +4 -0
- package/dist/higher-order-unify/pattern.d.ts.map +1 -0
- package/dist/higher-order-unify/pattern.js +70 -0
- package/dist/higher-order-unify/pattern.js.map +1 -0
- package/dist/higher-order-unify/types.d.ts +19 -0
- package/dist/higher-order-unify/types.d.ts.map +1 -0
- package/dist/higher-order-unify/types.js +14 -0
- package/dist/higher-order-unify/types.js.map +1 -0
- package/dist/higher-order-unify/unify.d.ts +5 -0
- package/dist/higher-order-unify/unify.d.ts.map +1 -0
- package/dist/higher-order-unify/unify.js +306 -0
- package/dist/higher-order-unify/unify.js.map +1 -0
- package/dist/index.d.ts +4 -0
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +36 -2
- package/dist/index.js.map +1 -1
- package/dist/lambda-calc/church.d.ts.map +1 -1
- package/dist/lambda-calc/church.js.map +1 -1
- package/dist/lambda-calc/combinators.d.ts.map +1 -1
- package/dist/lambda-calc/combinators.js.map +1 -1
- package/dist/lambda-calc/index.d.ts +1 -1
- package/dist/lambda-calc/index.d.ts.map +1 -1
- package/dist/lambda-calc/index.js.map +1 -1
- package/dist/mltt/equality.d.ts +9 -0
- package/dist/mltt/equality.d.ts.map +1 -0
- package/dist/mltt/equality.js +79 -0
- package/dist/mltt/equality.js.map +1 -0
- package/dist/mltt/index.d.ts +8 -0
- package/dist/mltt/index.d.ts.map +1 -0
- package/dist/mltt/index.js +49 -0
- package/dist/mltt/index.js.map +1 -0
- package/dist/mltt/infer.d.ts +17 -0
- package/dist/mltt/infer.d.ts.map +1 -0
- package/dist/mltt/infer.js +269 -0
- package/dist/mltt/infer.js.map +1 -0
- package/dist/mltt/normalize.d.ts +7 -0
- package/dist/mltt/normalize.d.ts.map +1 -0
- package/dist/mltt/normalize.js +131 -0
- package/dist/mltt/normalize.js.map +1 -0
- package/dist/mltt/substitute.d.ts +4 -0
- package/dist/mltt/substitute.d.ts.map +1 -0
- package/dist/mltt/substitute.js +94 -0
- package/dist/mltt/substitute.js.map +1 -0
- package/dist/mltt/types.d.ts +72 -0
- package/dist/mltt/types.d.ts.map +1 -0
- package/dist/mltt/types.js +211 -0
- package/dist/mltt/types.js.map +1 -0
- package/dist/nbe/index.d.ts +3 -0
- package/dist/nbe/index.d.ts.map +1 -0
- package/dist/nbe/index.js +25 -0
- package/dist/nbe/index.js.map +1 -0
- package/dist/nbe/nbe.d.ts +7 -0
- package/dist/nbe/nbe.d.ts.map +1 -0
- package/dist/nbe/nbe.js +118 -0
- package/dist/nbe/nbe.js.map +1 -0
- package/dist/nbe/types.d.ts +54 -0
- package/dist/nbe/types.d.ts.map +1 -0
- package/dist/nbe/types.js +117 -0
- package/dist/nbe/types.js.map +1 -0
- package/dist/profile-bridge/index.d.ts +64 -0
- package/dist/profile-bridge/index.d.ts.map +1 -0
- package/dist/profile-bridge/index.js +328 -0
- package/dist/profile-bridge/index.js.map +1 -0
- package/dist/profiles/many-valued/index.d.ts.map +1 -1
- package/dist/profiles/many-valued/index.js.map +1 -1
- package/dist/profiles/mu-calculus/check.d.ts +15 -0
- package/dist/profiles/mu-calculus/check.d.ts.map +1 -0
- package/dist/profiles/mu-calculus/check.js +172 -0
- package/dist/profiles/mu-calculus/check.js.map +1 -0
- package/dist/profiles/mu-calculus/ctl-translate.d.ts +61 -0
- package/dist/profiles/mu-calculus/ctl-translate.d.ts.map +1 -0
- package/dist/profiles/mu-calculus/ctl-translate.js +181 -0
- package/dist/profiles/mu-calculus/ctl-translate.js.map +1 -0
- package/dist/profiles/mu-calculus/index.d.ts +7 -0
- package/dist/profiles/mu-calculus/index.d.ts.map +1 -0
- package/dist/profiles/mu-calculus/index.js +33 -0
- package/dist/profiles/mu-calculus/index.js.map +1 -0
- package/dist/profiles/mu-calculus/types.d.ts +51 -0
- package/dist/profiles/mu-calculus/types.d.ts.map +1 -0
- package/dist/profiles/mu-calculus/types.js +42 -0
- package/dist/profiles/mu-calculus/types.js.map +1 -0
- package/dist/profiles/mu-calculus/wellformed.d.ts +40 -0
- package/dist/profiles/mu-calculus/wellformed.d.ts.map +1 -0
- package/dist/profiles/mu-calculus/wellformed.js +160 -0
- package/dist/profiles/mu-calculus/wellformed.js.map +1 -0
- package/dist/profiles/sequent-lk/cut-elimination.d.ts +11 -0
- package/dist/profiles/sequent-lk/cut-elimination.d.ts.map +1 -0
- package/dist/profiles/sequent-lk/cut-elimination.js +216 -0
- package/dist/profiles/sequent-lk/cut-elimination.js.map +1 -0
- package/dist/profiles/sequent-lk/index.d.ts +5 -0
- package/dist/profiles/sequent-lk/index.d.ts.map +1 -0
- package/dist/profiles/sequent-lk/index.js +24 -0
- package/dist/profiles/sequent-lk/index.js.map +1 -0
- package/dist/profiles/sequent-lk/prover.d.ts +25 -0
- package/dist/profiles/sequent-lk/prover.d.ts.map +1 -0
- package/dist/profiles/sequent-lk/prover.js +532 -0
- package/dist/profiles/sequent-lk/prover.js.map +1 -0
- package/dist/profiles/sequent-lk/types.d.ts +55 -0
- package/dist/profiles/sequent-lk/types.d.ts.map +1 -0
- package/dist/profiles/sequent-lk/types.js +18 -0
- package/dist/profiles/sequent-lk/types.js.map +1 -0
- package/dist/profiles/sequent-lk/util.d.ts +18 -0
- package/dist/profiles/sequent-lk/util.d.ts.map +1 -0
- package/dist/profiles/sequent-lk/util.js +71 -0
- package/dist/profiles/sequent-lk/util.js.map +1 -0
- package/dist/proof-nets/construct.d.ts +3 -0
- package/dist/proof-nets/construct.d.ts.map +1 -0
- package/dist/proof-nets/construct.js +85 -0
- package/dist/proof-nets/construct.js.map +1 -0
- package/dist/proof-nets/correctness.d.ts +3 -0
- package/dist/proof-nets/correctness.d.ts.map +1 -0
- package/dist/proof-nets/correctness.js +213 -0
- package/dist/proof-nets/correctness.js.map +1 -0
- package/dist/proof-nets/cut-elim.d.ts +9 -0
- package/dist/proof-nets/cut-elim.d.ts.map +1 -0
- package/dist/proof-nets/cut-elim.js +149 -0
- package/dist/proof-nets/cut-elim.js.map +1 -0
- package/dist/proof-nets/index.d.ts +6 -0
- package/dist/proof-nets/index.d.ts.map +1 -0
- package/dist/proof-nets/index.js +33 -0
- package/dist/proof-nets/index.js.map +1 -0
- package/dist/proof-nets/types.d.ts +36 -0
- package/dist/proof-nets/types.d.ts.map +1 -0
- package/dist/proof-nets/types.js +89 -0
- package/dist/proof-nets/types.js.map +1 -0
- package/dist/refinement-types/checker.d.ts +19 -0
- package/dist/refinement-types/checker.d.ts.map +1 -0
- package/dist/refinement-types/checker.js +248 -0
- package/dist/refinement-types/checker.js.map +1 -0
- package/dist/refinement-types/index.d.ts +11 -0
- package/dist/refinement-types/index.d.ts.map +1 -0
- package/dist/refinement-types/index.js +51 -0
- package/dist/refinement-types/index.js.map +1 -0
- package/dist/refinement-types/predicate.d.ts +31 -0
- package/dist/refinement-types/predicate.d.ts.map +1 -0
- package/dist/refinement-types/predicate.js +369 -0
- package/dist/refinement-types/predicate.js.map +1 -0
- package/dist/refinement-types/solver.d.ts +24 -0
- package/dist/refinement-types/solver.d.ts.map +1 -0
- package/dist/refinement-types/solver.js +207 -0
- package/dist/refinement-types/solver.js.map +1 -0
- package/dist/refinement-types/subtype.d.ts +14 -0
- package/dist/refinement-types/subtype.d.ts.map +1 -0
- package/dist/refinement-types/subtype.js +39 -0
- package/dist/refinement-types/subtype.js.map +1 -0
- package/dist/refinement-types/types.d.ts +64 -0
- package/dist/refinement-types/types.d.ts.map +1 -0
- package/dist/refinement-types/types.js +130 -0
- package/dist/refinement-types/types.js.map +1 -0
- package/dist/runtime/anti-unification/anti-unify.d.ts +22 -0
- package/dist/runtime/anti-unification/anti-unify.d.ts.map +1 -0
- package/dist/runtime/anti-unification/anti-unify.js +154 -0
- package/dist/runtime/anti-unification/anti-unify.js.map +1 -0
- package/dist/runtime/anti-unification/index.d.ts +6 -0
- package/dist/runtime/anti-unification/index.d.ts.map +1 -0
- package/dist/runtime/anti-unification/index.js +23 -0
- package/dist/runtime/anti-unification/index.js.map +1 -0
- package/dist/runtime/anti-unification/many.d.ts +49 -0
- package/dist/runtime/anti-unification/many.d.ts.map +1 -0
- package/dist/runtime/anti-unification/many.js +185 -0
- package/dist/runtime/anti-unification/many.js.map +1 -0
- package/dist/runtime/anti-unification/term-utils.d.ts +40 -0
- package/dist/runtime/anti-unification/term-utils.d.ts.map +1 -0
- package/dist/runtime/anti-unification/term-utils.js +173 -0
- package/dist/runtime/anti-unification/term-utils.js.map +1 -0
- package/dist/runtime/anti-unification/types.d.ts +41 -0
- package/dist/runtime/anti-unification/types.d.ts.map +1 -0
- package/dist/runtime/anti-unification/types.js +26 -0
- package/dist/runtime/anti-unification/types.js.map +1 -0
- package/dist/runtime/csp/ac3.d.ts +20 -0
- package/dist/runtime/csp/ac3.d.ts.map +1 -0
- package/dist/runtime/csp/ac3.js +165 -0
- package/dist/runtime/csp/ac3.js.map +1 -0
- package/dist/runtime/csp/backtrack.d.ts +15 -0
- package/dist/runtime/csp/backtrack.d.ts.map +1 -0
- package/dist/runtime/csp/backtrack.js +233 -0
- package/dist/runtime/csp/backtrack.js.map +1 -0
- package/dist/runtime/csp/builtins.d.ts +27 -0
- package/dist/runtime/csp/builtins.d.ts.map +1 -0
- package/dist/runtime/csp/builtins.js +109 -0
- package/dist/runtime/csp/builtins.js.map +1 -0
- package/dist/runtime/csp/index.d.ts +5 -0
- package/dist/runtime/csp/index.d.ts.map +1 -0
- package/dist/runtime/csp/index.js +23 -0
- package/dist/runtime/csp/index.js.map +1 -0
- package/dist/runtime/csp/types.d.ts +54 -0
- package/dist/runtime/csp/types.d.ts.map +1 -0
- package/dist/runtime/csp/types.js +14 -0
- package/dist/runtime/csp/types.js.map +1 -0
- package/dist/runtime/markov-logic/grounding.d.ts +19 -0
- package/dist/runtime/markov-logic/grounding.d.ts.map +1 -0
- package/dist/runtime/markov-logic/grounding.js +252 -0
- package/dist/runtime/markov-logic/grounding.js.map +1 -0
- package/dist/runtime/markov-logic/index.d.ts +6 -0
- package/dist/runtime/markov-logic/index.d.ts.map +1 -0
- package/dist/runtime/markov-logic/index.js +47 -0
- package/dist/runtime/markov-logic/index.js.map +1 -0
- package/dist/runtime/markov-logic/inference.d.ts +77 -0
- package/dist/runtime/markov-logic/inference.d.ts.map +1 -0
- package/dist/runtime/markov-logic/inference.js +382 -0
- package/dist/runtime/markov-logic/inference.js.map +1 -0
- package/dist/runtime/markov-logic/parser.d.ts +25 -0
- package/dist/runtime/markov-logic/parser.d.ts.map +1 -0
- package/dist/runtime/markov-logic/parser.js +264 -0
- package/dist/runtime/markov-logic/parser.js.map +1 -0
- package/dist/runtime/markov-logic/types.d.ts +64 -0
- package/dist/runtime/markov-logic/types.d.ts.map +1 -0
- package/dist/runtime/markov-logic/types.js +17 -0
- package/dist/runtime/markov-logic/types.js.map +1 -0
- package/dist/runtime/pi-calculus/congruence.d.ts +15 -0
- package/dist/runtime/pi-calculus/congruence.d.ts.map +1 -0
- package/dist/runtime/pi-calculus/congruence.js +271 -0
- package/dist/runtime/pi-calculus/congruence.js.map +1 -0
- package/dist/runtime/pi-calculus/index.d.ts +6 -0
- package/dist/runtime/pi-calculus/index.d.ts.map +1 -0
- package/dist/runtime/pi-calculus/index.js +30 -0
- package/dist/runtime/pi-calculus/index.js.map +1 -0
- package/dist/runtime/pi-calculus/names.d.ts +28 -0
- package/dist/runtime/pi-calculus/names.d.ts.map +1 -0
- package/dist/runtime/pi-calculus/names.js +182 -0
- package/dist/runtime/pi-calculus/names.js.map +1 -0
- package/dist/runtime/pi-calculus/reduction.d.ts +25 -0
- package/dist/runtime/pi-calculus/reduction.d.ts.map +1 -0
- package/dist/runtime/pi-calculus/reduction.js +338 -0
- package/dist/runtime/pi-calculus/reduction.js.map +1 -0
- package/dist/runtime/pi-calculus/substitution.d.ts +11 -0
- package/dist/runtime/pi-calculus/substitution.d.ts.map +1 -0
- package/dist/runtime/pi-calculus/substitution.js +109 -0
- package/dist/runtime/pi-calculus/substitution.js.map +1 -0
- package/dist/runtime/pi-calculus/types.d.ts +38 -0
- package/dist/runtime/pi-calculus/types.d.ts.map +1 -0
- package/dist/runtime/pi-calculus/types.js +22 -0
- package/dist/runtime/pi-calculus/types.js.map +1 -0
- package/dist/runtime/planning/astar.d.ts +10 -0
- package/dist/runtime/planning/astar.d.ts.map +1 -0
- package/dist/runtime/planning/astar.js +155 -0
- package/dist/runtime/planning/astar.js.map +1 -0
- package/dist/runtime/planning/bfs.d.ts +17 -0
- package/dist/runtime/planning/bfs.d.ts.map +1 -0
- package/dist/runtime/planning/bfs.js +87 -0
- package/dist/runtime/planning/bfs.js.map +1 -0
- package/dist/runtime/planning/ground.d.ts +55 -0
- package/dist/runtime/planning/ground.d.ts.map +1 -0
- package/dist/runtime/planning/ground.js +154 -0
- package/dist/runtime/planning/ground.js.map +1 -0
- package/dist/runtime/planning/heuristic.d.ts +29 -0
- package/dist/runtime/planning/heuristic.d.ts.map +1 -0
- package/dist/runtime/planning/heuristic.js +172 -0
- package/dist/runtime/planning/heuristic.js.map +1 -0
- package/dist/runtime/planning/index.d.ts +6 -0
- package/dist/runtime/planning/index.d.ts.map +1 -0
- package/dist/runtime/planning/index.js +38 -0
- package/dist/runtime/planning/index.js.map +1 -0
- package/dist/runtime/planning/types.d.ts +100 -0
- package/dist/runtime/planning/types.d.ts.map +1 -0
- package/dist/runtime/planning/types.js +22 -0
- package/dist/runtime/planning/types.js.map +1 -0
- package/dist/runtime/symbolic-diff/differentiate.d.ts.map +1 -1
- package/dist/runtime/symbolic-diff/differentiate.js.map +1 -1
- package/dist/runtime/symbolic-diff/index.d.ts +1 -1
- package/dist/runtime/symbolic-diff/index.d.ts.map +1 -1
- package/dist/runtime/symbolic-diff/index.js.map +1 -1
- package/dist/runtime/symbolic-diff/parse.d.ts.map +1 -1
- package/dist/runtime/symbolic-diff/parse.js +7 -1
- package/dist/runtime/symbolic-diff/parse.js.map +1 -1
- package/dist/runtime/theorem-cache/cache.d.ts +100 -0
- package/dist/runtime/theorem-cache/cache.d.ts.map +1 -0
- package/dist/runtime/theorem-cache/cache.js +213 -0
- package/dist/runtime/theorem-cache/cache.js.map +1 -0
- package/dist/runtime/theorem-cache/canonical.d.ts +59 -0
- package/dist/runtime/theorem-cache/canonical.d.ts.map +1 -0
- package/dist/runtime/theorem-cache/canonical.js +105 -0
- package/dist/runtime/theorem-cache/canonical.js.map +1 -0
- package/dist/runtime/theorem-cache/index.d.ts +6 -0
- package/dist/runtime/theorem-cache/index.d.ts.map +1 -0
- package/dist/runtime/theorem-cache/index.js +16 -0
- package/dist/runtime/theorem-cache/index.js.map +1 -0
- package/dist/runtime/theorem-cache/pattern.d.ts +24 -0
- package/dist/runtime/theorem-cache/pattern.d.ts.map +1 -0
- package/dist/runtime/theorem-cache/pattern.js +80 -0
- package/dist/runtime/theorem-cache/pattern.js.map +1 -0
- package/dist/system-f/index.d.ts +7 -0
- package/dist/system-f/index.d.ts.map +1 -0
- package/dist/system-f/index.js +48 -0
- package/dist/system-f/index.js.map +1 -0
- package/dist/system-f/infer.d.ts +9 -0
- package/dist/system-f/infer.d.ts.map +1 -0
- package/dist/system-f/infer.js +94 -0
- package/dist/system-f/infer.js.map +1 -0
- package/dist/system-f/reduce.d.ts +15 -0
- package/dist/system-f/reduce.d.ts.map +1 -0
- package/dist/system-f/reduce.js +259 -0
- package/dist/system-f/reduce.js.map +1 -0
- package/dist/system-f/types.d.ts +53 -0
- package/dist/system-f/types.d.ts.map +1 -0
- package/dist/system-f/types.js +157 -0
- package/dist/system-f/types.js.map +1 -0
- package/dist/tableau-framework/TableauProver.d.ts +10 -0
- package/dist/tableau-framework/TableauProver.d.ts.map +1 -0
- package/dist/tableau-framework/TableauProver.js +118 -0
- package/dist/tableau-framework/TableauProver.js.map +1 -0
- package/dist/tableau-framework/index.d.ts +5 -0
- package/dist/tableau-framework/index.d.ts.map +1 -0
- package/dist/tableau-framework/index.js +11 -0
- package/dist/tableau-framework/index.js.map +1 -0
- package/dist/tableau-framework/propositional.d.ts +11 -0
- package/dist/tableau-framework/propositional.d.ts.map +1 -0
- package/dist/tableau-framework/propositional.js +143 -0
- package/dist/tableau-framework/propositional.js.map +1 -0
- package/dist/tableau-framework/types.d.ts +32 -0
- package/dist/tableau-framework/types.d.ts.map +1 -0
- package/dist/tableau-framework/types.js +6 -0
- package/dist/tableau-framework/types.js.map +1 -0
- package/dist/tests/anti-unification/anti-unify.test.d.ts +2 -0
- package/dist/tests/anti-unification/anti-unify.test.d.ts.map +1 -0
- package/dist/tests/anti-unification/anti-unify.test.js +219 -0
- package/dist/tests/anti-unification/anti-unify.test.js.map +1 -0
- package/dist/tests/coinduction/coinduction.test.d.ts +2 -0
- package/dist/tests/coinduction/coinduction.test.d.ts.map +1 -0
- package/dist/tests/coinduction/coinduction.test.js +217 -0
- package/dist/tests/coinduction/coinduction.test.js.map +1 -0
- package/dist/tests/combinators-ski/combinators-ski.test.d.ts +2 -0
- package/dist/tests/combinators-ski/combinators-ski.test.d.ts.map +1 -0
- package/dist/tests/combinators-ski/combinators-ski.test.js +211 -0
- package/dist/tests/combinators-ski/combinators-ski.test.js.map +1 -0
- package/dist/tests/constructive-reals/constructive-reals.test.d.ts +2 -0
- package/dist/tests/constructive-reals/constructive-reals.test.d.ts.map +1 -0
- package/dist/tests/constructive-reals/constructive-reals.test.js +357 -0
- package/dist/tests/constructive-reals/constructive-reals.test.js.map +1 -0
- package/dist/tests/coverage-fill-aristotelian.test.js +1 -1
- package/dist/tests/coverage-fill-aristotelian.test.js.map +1 -1
- package/dist/tests/coverage-fill-fallacies.test.js +1 -1
- package/dist/tests/coverage-fill-fallacies.test.js.map +1 -1
- package/dist/tests/coverage-fill-format.test.js +1 -1
- package/dist/tests/coverage-fill-format.test.js.map +1 -1
- package/dist/tests/coverage-fill-intuitionistic.test.js +1 -1
- package/dist/tests/coverage-fill-intuitionistic.test.js.map +1 -1
- package/dist/tests/coverage-fill-probabilistic.test.js +1 -1
- package/dist/tests/coverage-fill-probabilistic.test.js.map +1 -1
- package/dist/tests/csp/csp.test.d.ts +2 -0
- package/dist/tests/csp/csp.test.d.ts.map +1 -0
- package/dist/tests/csp/csp.test.js +292 -0
- package/dist/tests/csp/csp.test.js.map +1 -0
- package/dist/tests/game-semantics/game-semantics.test.d.ts +2 -0
- package/dist/tests/game-semantics/game-semantics.test.d.ts.map +1 -0
- package/dist/tests/game-semantics/game-semantics.test.js +143 -0
- package/dist/tests/game-semantics/game-semantics.test.js.map +1 -0
- package/dist/tests/higher-order-unify/ho-unify.test.d.ts +2 -0
- package/dist/tests/higher-order-unify/ho-unify.test.d.ts.map +1 -0
- package/dist/tests/higher-order-unify/ho-unify.test.js +264 -0
- package/dist/tests/higher-order-unify/ho-unify.test.js.map +1 -0
- package/dist/tests/integration/cross-modules.test.d.ts +8 -0
- package/dist/tests/integration/cross-modules.test.d.ts.map +1 -0
- package/dist/tests/integration/cross-modules.test.js +668 -0
- package/dist/tests/integration/cross-modules.test.js.map +1 -0
- package/dist/tests/lambda-calc/lambda-calc.test.js.map +1 -1
- package/dist/tests/many-valued/many-valued.test.js.map +1 -1
- package/dist/tests/markov-logic/markov-logic.test.d.ts +2 -0
- package/dist/tests/markov-logic/markov-logic.test.d.ts.map +1 -0
- package/dist/tests/markov-logic/markov-logic.test.js +349 -0
- package/dist/tests/markov-logic/markov-logic.test.js.map +1 -0
- package/dist/tests/mltt/mltt.test.d.ts +2 -0
- package/dist/tests/mltt/mltt.test.d.ts.map +1 -0
- package/dist/tests/mltt/mltt.test.js +181 -0
- package/dist/tests/mltt/mltt.test.js.map +1 -0
- package/dist/tests/mu-calculus/check.test.d.ts +2 -0
- package/dist/tests/mu-calculus/check.test.d.ts.map +1 -0
- package/dist/tests/mu-calculus/check.test.js +234 -0
- package/dist/tests/mu-calculus/check.test.js.map +1 -0
- package/dist/tests/nbe/nbe.test.d.ts +2 -0
- package/dist/tests/nbe/nbe.test.d.ts.map +1 -0
- package/dist/tests/nbe/nbe.test.js +121 -0
- package/dist/tests/nbe/nbe.test.js.map +1 -0
- package/dist/tests/pi-calculus/pi-calculus.test.d.ts +2 -0
- package/dist/tests/pi-calculus/pi-calculus.test.d.ts.map +1 -0
- package/dist/tests/pi-calculus/pi-calculus.test.js +273 -0
- package/dist/tests/pi-calculus/pi-calculus.test.js.map +1 -0
- package/dist/tests/planning/planning.test.d.ts +2 -0
- package/dist/tests/planning/planning.test.d.ts.map +1 -0
- package/dist/tests/planning/planning.test.js +397 -0
- package/dist/tests/planning/planning.test.js.map +1 -0
- package/dist/tests/profile-bridge/translations.test.d.ts +2 -0
- package/dist/tests/profile-bridge/translations.test.d.ts.map +1 -0
- package/dist/tests/profile-bridge/translations.test.js +266 -0
- package/dist/tests/profile-bridge/translations.test.js.map +1 -0
- package/dist/tests/proof-nets/proof-nets.test.d.ts +2 -0
- package/dist/tests/proof-nets/proof-nets.test.d.ts.map +1 -0
- package/dist/tests/proof-nets/proof-nets.test.js +263 -0
- package/dist/tests/proof-nets/proof-nets.test.js.map +1 -0
- package/dist/tests/refinement-types/refinement-types.test.d.ts +2 -0
- package/dist/tests/refinement-types/refinement-types.test.d.ts.map +1 -0
- package/dist/tests/refinement-types/refinement-types.test.js +174 -0
- package/dist/tests/refinement-types/refinement-types.test.js.map +1 -0
- package/dist/tests/sequent-lk/prover.test.d.ts +2 -0
- package/dist/tests/sequent-lk/prover.test.d.ts.map +1 -0
- package/dist/tests/sequent-lk/prover.test.js +317 -0
- package/dist/tests/sequent-lk/prover.test.js.map +1 -0
- package/dist/tests/symbolic-diff/symbolic-diff.test.js.map +1 -1
- package/dist/tests/system-f/system-f.test.d.ts +2 -0
- package/dist/tests/system-f/system-f.test.d.ts.map +1 -0
- package/dist/tests/system-f/system-f.test.js +217 -0
- package/dist/tests/system-f/system-f.test.js.map +1 -0
- package/dist/tests/tableau-framework/tableau.test.d.ts +2 -0
- package/dist/tests/tableau-framework/tableau.test.d.ts.map +1 -0
- package/dist/tests/tableau-framework/tableau.test.js +196 -0
- package/dist/tests/tableau-framework/tableau.test.js.map +1 -0
- package/dist/tests/theorem-cache/cache.test.d.ts +2 -0
- package/dist/tests/theorem-cache/cache.test.d.ts.map +1 -0
- package/dist/tests/theorem-cache/cache.test.js +510 -0
- package/dist/tests/theorem-cache/cache.test.js.map +1 -0
- package/package.json +1 -1
|
@@ -0,0 +1,397 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
// ============================================================
|
|
3
|
+
// ST Planning — Tests (STRIPS / PDDL light)
|
|
4
|
+
// ============================================================
|
|
5
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
6
|
+
const vitest_1 = require("vitest");
|
|
7
|
+
const planning_1 = require("../../runtime/planning");
|
|
8
|
+
// ──────────────────────────────────────────────────────────────
|
|
9
|
+
// Dominio: Blocks World
|
|
10
|
+
// ──────────────────────────────────────────────────────────────
|
|
11
|
+
//
|
|
12
|
+
// Predicados:
|
|
13
|
+
// on(?x, ?y) — bloque x está sobre bloque y
|
|
14
|
+
// on-table(?x) — bloque x está sobre la mesa
|
|
15
|
+
// clear(?x) — no hay bloque encima de x
|
|
16
|
+
// holding(?x) — el brazo robot sostiene x
|
|
17
|
+
// arm-empty — el brazo está libre
|
|
18
|
+
//
|
|
19
|
+
// Acciones:
|
|
20
|
+
// pickup(?x): clear(?x) ∧ on-table(?x) ∧ arm-empty →
|
|
21
|
+
// holding(?x) ∧ ¬on-table(?x) ∧ ¬clear(?x) ∧ ¬arm-empty
|
|
22
|
+
// putdown(?x): holding(?x) →
|
|
23
|
+
// on-table(?x) ∧ clear(?x) ∧ arm-empty ∧ ¬holding(?x)
|
|
24
|
+
// stack(?x, ?y): holding(?x) ∧ clear(?y) →
|
|
25
|
+
// on(?x,?y) ∧ clear(?x) ∧ arm-empty ∧ ¬holding(?x) ∧ ¬clear(?y)
|
|
26
|
+
// unstack(?x, ?y): on(?x,?y) ∧ clear(?x) ∧ arm-empty →
|
|
27
|
+
// holding(?x) ∧ clear(?y) ∧ ¬on(?x,?y) ∧ ¬clear(?x) ∧ ¬arm-empty
|
|
28
|
+
const blocksWorldActions = [
|
|
29
|
+
{
|
|
30
|
+
name: 'pickup',
|
|
31
|
+
parameters: ['?x'],
|
|
32
|
+
preconditions: ['clear(?x)', 'on-table(?x)', 'arm-empty'],
|
|
33
|
+
addList: ['holding(?x)'],
|
|
34
|
+
delList: ['on-table(?x)', 'clear(?x)', 'arm-empty'],
|
|
35
|
+
},
|
|
36
|
+
{
|
|
37
|
+
name: 'putdown',
|
|
38
|
+
parameters: ['?x'],
|
|
39
|
+
preconditions: ['holding(?x)'],
|
|
40
|
+
addList: ['on-table(?x)', 'clear(?x)', 'arm-empty'],
|
|
41
|
+
delList: ['holding(?x)'],
|
|
42
|
+
},
|
|
43
|
+
{
|
|
44
|
+
name: 'stack',
|
|
45
|
+
parameters: ['?x', '?y'],
|
|
46
|
+
preconditions: ['holding(?x)', 'clear(?y)'],
|
|
47
|
+
addList: ['on(?x,?y)', 'clear(?x)', 'arm-empty'],
|
|
48
|
+
delList: ['holding(?x)', 'clear(?y)'],
|
|
49
|
+
},
|
|
50
|
+
{
|
|
51
|
+
name: 'unstack',
|
|
52
|
+
parameters: ['?x', '?y'],
|
|
53
|
+
preconditions: ['on(?x,?y)', 'clear(?x)', 'arm-empty'],
|
|
54
|
+
addList: ['holding(?x)', 'clear(?y)'],
|
|
55
|
+
delList: ['on(?x,?y)', 'clear(?x)', 'arm-empty'],
|
|
56
|
+
},
|
|
57
|
+
];
|
|
58
|
+
function blocksProblem(initial, goal, blocks = ['a', 'b', 'c']) {
|
|
59
|
+
return {
|
|
60
|
+
predicates: ['on', 'on-table', 'clear', 'holding', 'arm-empty'],
|
|
61
|
+
objects: { block: blocks },
|
|
62
|
+
actions: blocksWorldActions,
|
|
63
|
+
initialState: new Set(initial),
|
|
64
|
+
goal: new Set(goal),
|
|
65
|
+
};
|
|
66
|
+
}
|
|
67
|
+
// ──────────────────────────────────────────────────────────────
|
|
68
|
+
// 1. substituteVars y ground
|
|
69
|
+
// ──────────────────────────────────────────────────────────────
|
|
70
|
+
(0, vitest_1.describe)('planning — substituteVars', () => {
|
|
71
|
+
(0, vitest_1.it)('reemplaza variables ?x por sus valores', () => {
|
|
72
|
+
(0, vitest_1.expect)((0, planning_1.substituteVars)('on(?x,?y)', { '?x': 'a', '?y': 'b' })).toBe('on(a,b)');
|
|
73
|
+
});
|
|
74
|
+
(0, vitest_1.it)('no toca strings sin variables', () => {
|
|
75
|
+
(0, vitest_1.expect)((0, planning_1.substituteVars)('arm-empty', {})).toBe('arm-empty');
|
|
76
|
+
});
|
|
77
|
+
(0, vitest_1.it)('respeta boundaries (no confunde ?x con ?xy)', () => {
|
|
78
|
+
(0, vitest_1.expect)((0, planning_1.substituteVars)('p(?xy,?x)', { '?x': 'A', '?xy': 'B' })).toBe('p(B,A)');
|
|
79
|
+
});
|
|
80
|
+
(0, vitest_1.it)('deja la variable sin tocar si no está en bindings', () => {
|
|
81
|
+
(0, vitest_1.expect)((0, planning_1.substituteVars)('p(?x)', {})).toBe('p(?x)');
|
|
82
|
+
});
|
|
83
|
+
});
|
|
84
|
+
(0, vitest_1.describe)('planning — ground', () => {
|
|
85
|
+
(0, vitest_1.it)('aplica bindings a un schema lifted', () => {
|
|
86
|
+
const action = {
|
|
87
|
+
name: 'move',
|
|
88
|
+
parameters: ['?from', '?to'],
|
|
89
|
+
preconditions: ['at(?from)'],
|
|
90
|
+
addList: ['at(?to)'],
|
|
91
|
+
delList: ['at(?from)'],
|
|
92
|
+
};
|
|
93
|
+
const g = (0, planning_1.ground)(action, { '?from': 'a', '?to': 'b' });
|
|
94
|
+
(0, vitest_1.expect)(g.preconditions.has('at(a)')).toBe(true);
|
|
95
|
+
(0, vitest_1.expect)(g.addList.has('at(b)')).toBe(true);
|
|
96
|
+
(0, vitest_1.expect)(g.delList.has('at(a)')).toBe(true);
|
|
97
|
+
});
|
|
98
|
+
});
|
|
99
|
+
// ──────────────────────────────────────────────────────────────
|
|
100
|
+
// 2. applyAction y goalSatisfied
|
|
101
|
+
// ──────────────────────────────────────────────────────────────
|
|
102
|
+
(0, vitest_1.describe)('planning — applyAction', () => {
|
|
103
|
+
(0, vitest_1.it)('borra antes de añadir', () => {
|
|
104
|
+
const state = new Set(['p', 'q']);
|
|
105
|
+
const next = (0, planning_1.applyAction)(state, {
|
|
106
|
+
addList: new Set(['r']),
|
|
107
|
+
delList: new Set(['p']),
|
|
108
|
+
});
|
|
109
|
+
(0, vitest_1.expect)(next.has('p')).toBe(false);
|
|
110
|
+
(0, vitest_1.expect)(next.has('q')).toBe(true);
|
|
111
|
+
(0, vitest_1.expect)(next.has('r')).toBe(true);
|
|
112
|
+
});
|
|
113
|
+
(0, vitest_1.it)('no muta el estado original', () => {
|
|
114
|
+
const state = new Set(['p']);
|
|
115
|
+
(0, planning_1.applyAction)(state, { addList: new Set(['q']), delList: new Set() });
|
|
116
|
+
(0, vitest_1.expect)(state.has('q')).toBe(false);
|
|
117
|
+
(0, vitest_1.expect)(state.size).toBe(1);
|
|
118
|
+
});
|
|
119
|
+
(0, vitest_1.it)('si un hecho está en addList y delList, queda añadido (del primero)', () => {
|
|
120
|
+
const state = new Set(['p']);
|
|
121
|
+
const next = (0, planning_1.applyAction)(state, {
|
|
122
|
+
addList: new Set(['p']),
|
|
123
|
+
delList: new Set(['p']),
|
|
124
|
+
});
|
|
125
|
+
(0, vitest_1.expect)(next.has('p')).toBe(true);
|
|
126
|
+
});
|
|
127
|
+
});
|
|
128
|
+
(0, vitest_1.describe)('planning — goalSatisfied', () => {
|
|
129
|
+
(0, vitest_1.it)('goal vacío siempre satisfecho', () => {
|
|
130
|
+
(0, vitest_1.expect)((0, planning_1.goalSatisfied)(new Set(['p']), new Set())).toBe(true);
|
|
131
|
+
});
|
|
132
|
+
(0, vitest_1.it)('goal ⊆ state → true', () => {
|
|
133
|
+
(0, vitest_1.expect)((0, planning_1.goalSatisfied)(new Set(['p', 'q', 'r']), new Set(['p', 'r']))).toBe(true);
|
|
134
|
+
});
|
|
135
|
+
(0, vitest_1.it)('goal ⊄ state → false', () => {
|
|
136
|
+
(0, vitest_1.expect)((0, planning_1.goalSatisfied)(new Set(['p']), new Set(['p', 'q']))).toBe(false);
|
|
137
|
+
});
|
|
138
|
+
});
|
|
139
|
+
(0, vitest_1.describe)('planning — preconditionsSatisfied', () => {
|
|
140
|
+
(0, vitest_1.it)('todas presentes → true', () => {
|
|
141
|
+
(0, vitest_1.expect)((0, planning_1.preconditionsSatisfied)(new Set(['a', 'b']), new Set(['a']))).toBe(true);
|
|
142
|
+
});
|
|
143
|
+
(0, vitest_1.it)('falta una → false', () => {
|
|
144
|
+
(0, vitest_1.expect)((0, planning_1.preconditionsSatisfied)(new Set(['a']), new Set(['a', 'b']))).toBe(false);
|
|
145
|
+
});
|
|
146
|
+
});
|
|
147
|
+
// ──────────────────────────────────────────────────────────────
|
|
148
|
+
// 3. groundAll y hashState
|
|
149
|
+
// ──────────────────────────────────────────────────────────────
|
|
150
|
+
(0, vitest_1.describe)('planning — groundAll', () => {
|
|
151
|
+
(0, vitest_1.it)('|params|=1, |objs|=3 → 3 instancias', () => {
|
|
152
|
+
const a = {
|
|
153
|
+
name: 'p',
|
|
154
|
+
parameters: ['?x'],
|
|
155
|
+
preconditions: [],
|
|
156
|
+
addList: ['p(?x)'],
|
|
157
|
+
delList: [],
|
|
158
|
+
};
|
|
159
|
+
const insts = (0, planning_1.groundAll)(a, { block: ['a', 'b', 'c'] });
|
|
160
|
+
(0, vitest_1.expect)(insts).toHaveLength(3);
|
|
161
|
+
const bindings = insts.map((i) => i.bindings['?x']).sort();
|
|
162
|
+
(0, vitest_1.expect)(bindings).toEqual(['a', 'b', 'c']);
|
|
163
|
+
});
|
|
164
|
+
(0, vitest_1.it)('|params|=2, |objs|=3 → 9 instancias (producto cartesiano)', () => {
|
|
165
|
+
const a = {
|
|
166
|
+
name: 'p',
|
|
167
|
+
parameters: ['?x', '?y'],
|
|
168
|
+
preconditions: [],
|
|
169
|
+
addList: ['p(?x,?y)'],
|
|
170
|
+
delList: [],
|
|
171
|
+
};
|
|
172
|
+
const insts = (0, planning_1.groundAll)(a, { block: ['a', 'b', 'c'] });
|
|
173
|
+
(0, vitest_1.expect)(insts).toHaveLength(9);
|
|
174
|
+
});
|
|
175
|
+
(0, vitest_1.it)('|params|=0 → 1 instancia ground tal cual', () => {
|
|
176
|
+
const a = {
|
|
177
|
+
name: 'noop',
|
|
178
|
+
parameters: [],
|
|
179
|
+
preconditions: ['p'],
|
|
180
|
+
addList: ['q'],
|
|
181
|
+
delList: [],
|
|
182
|
+
};
|
|
183
|
+
const insts = (0, planning_1.groundAll)(a, { block: ['a'] });
|
|
184
|
+
(0, vitest_1.expect)(insts).toHaveLength(1);
|
|
185
|
+
const first = insts[0];
|
|
186
|
+
if (!first)
|
|
187
|
+
return;
|
|
188
|
+
(0, vitest_1.expect)(first.grounded.preconditions.has('p')).toBe(true);
|
|
189
|
+
});
|
|
190
|
+
});
|
|
191
|
+
(0, vitest_1.describe)('planning — hashState determinista', () => {
|
|
192
|
+
(0, vitest_1.it)('mismo conjunto → mismo hash, orden de inserción irrelevante', () => {
|
|
193
|
+
const s1 = new Set(['p', 'q', 'r']);
|
|
194
|
+
const s2 = new Set(['r', 'p', 'q']);
|
|
195
|
+
(0, vitest_1.expect)((0, planning_1.hashState)(s1)).toBe((0, planning_1.hashState)(s2));
|
|
196
|
+
});
|
|
197
|
+
(0, vitest_1.it)('conjuntos distintos → hashes distintos', () => {
|
|
198
|
+
(0, vitest_1.expect)((0, planning_1.hashState)(new Set(['p']))).not.toBe((0, planning_1.hashState)(new Set(['q'])));
|
|
199
|
+
});
|
|
200
|
+
});
|
|
201
|
+
// ──────────────────────────────────────────────────────────────
|
|
202
|
+
// 4. BFS — Blocks World casos básicos
|
|
203
|
+
// ──────────────────────────────────────────────────────────────
|
|
204
|
+
(0, vitest_1.describe)('planning — BFS blocks world simple (1 step)', () => {
|
|
205
|
+
(0, vitest_1.it)('apilar A sobre B desde brazo sosteniendo A: 1 paso (stack)', () => {
|
|
206
|
+
// Estado: holding(a), on-table(b), clear(b), clear(c), on-table(c)
|
|
207
|
+
// Goal: on(a,b)
|
|
208
|
+
const problem = blocksProblem(['holding(a)', 'on-table(b)', 'clear(b)', 'on-table(c)', 'clear(c)'], ['on(a,b)']);
|
|
209
|
+
const plan = (0, planning_1.bfsPlan)(problem);
|
|
210
|
+
(0, vitest_1.expect)(plan).not.toBeNull();
|
|
211
|
+
const p = plan;
|
|
212
|
+
(0, vitest_1.expect)(p.length).toBe(1);
|
|
213
|
+
const step0 = p.actions[0];
|
|
214
|
+
if (!step0)
|
|
215
|
+
return;
|
|
216
|
+
(0, vitest_1.expect)(step0.action.name).toBe('stack');
|
|
217
|
+
(0, vitest_1.expect)(step0.bindings['?x']).toBe('a');
|
|
218
|
+
(0, vitest_1.expect)(step0.bindings['?y']).toBe('b');
|
|
219
|
+
});
|
|
220
|
+
});
|
|
221
|
+
(0, vitest_1.describe)('planning — BFS blocks world stack invertida', () => {
|
|
222
|
+
(0, vitest_1.it)('A sobre B sobre C → C sobre B sobre A (plan multi-step)', () => {
|
|
223
|
+
// Estado inicial: pila a-b-c (a arriba), c en mesa.
|
|
224
|
+
// Goal: pila c-b-a (c arriba), a en mesa.
|
|
225
|
+
const initial = ['on(a,b)', 'on(b,c)', 'on-table(c)', 'clear(a)', 'arm-empty'];
|
|
226
|
+
const goal = ['on(c,b)', 'on(b,a)', 'on-table(a)'];
|
|
227
|
+
const problem = blocksProblem(initial, goal);
|
|
228
|
+
const plan = (0, planning_1.bfsPlan)(problem, { maxDepth: 12 });
|
|
229
|
+
(0, vitest_1.expect)(plan).not.toBeNull();
|
|
230
|
+
const p = plan;
|
|
231
|
+
(0, vitest_1.expect)(p.length).toBeGreaterThan(1);
|
|
232
|
+
// Validamos ejecutando el plan desde el inicial.
|
|
233
|
+
let state = new Set(initial);
|
|
234
|
+
for (const step of p.actions) {
|
|
235
|
+
const g = (0, planning_1.ground)(step.action, step.bindings);
|
|
236
|
+
(0, vitest_1.expect)((0, planning_1.preconditionsSatisfied)(state, g.preconditions)).toBe(true);
|
|
237
|
+
state = (0, planning_1.applyAction)(state, g);
|
|
238
|
+
}
|
|
239
|
+
(0, vitest_1.expect)((0, planning_1.goalSatisfied)(state, new Set(goal))).toBe(true);
|
|
240
|
+
});
|
|
241
|
+
});
|
|
242
|
+
(0, vitest_1.describe)('planning — BFS goal ya satisfecho', () => {
|
|
243
|
+
(0, vitest_1.it)('plan vacío cuando goal ⊆ initialState', () => {
|
|
244
|
+
const problem = blocksProblem(['on-table(a)', 'clear(a)', 'arm-empty'], ['on-table(a)']);
|
|
245
|
+
const plan = (0, planning_1.bfsPlan)(problem);
|
|
246
|
+
(0, vitest_1.expect)(plan).not.toBeNull();
|
|
247
|
+
(0, vitest_1.expect)(plan.length).toBe(0);
|
|
248
|
+
(0, vitest_1.expect)(plan.cost).toBe(0);
|
|
249
|
+
});
|
|
250
|
+
});
|
|
251
|
+
(0, vitest_1.describe)('planning — BFS imposible', () => {
|
|
252
|
+
(0, vitest_1.it)('null cuando no hay acciones aplicables que lleven al goal', () => {
|
|
253
|
+
// Sin acciones, goal ≠ initial → null.
|
|
254
|
+
const problem = {
|
|
255
|
+
predicates: ['p'],
|
|
256
|
+
objects: { o: ['a'] },
|
|
257
|
+
actions: [],
|
|
258
|
+
initialState: new Set(['p']),
|
|
259
|
+
goal: new Set(['q']),
|
|
260
|
+
};
|
|
261
|
+
const plan = (0, planning_1.bfsPlan)(problem);
|
|
262
|
+
(0, vitest_1.expect)(plan).toBeNull();
|
|
263
|
+
});
|
|
264
|
+
(0, vitest_1.it)('null cuando el goal es inalcanzable (preconditions nunca se cumplen)', () => {
|
|
265
|
+
const action = {
|
|
266
|
+
name: 'needs-magic',
|
|
267
|
+
parameters: [],
|
|
268
|
+
preconditions: ['magic'], // nunca presente
|
|
269
|
+
addList: ['goal-fact'],
|
|
270
|
+
delList: [],
|
|
271
|
+
};
|
|
272
|
+
const problem = {
|
|
273
|
+
predicates: ['magic', 'goal-fact'],
|
|
274
|
+
objects: {},
|
|
275
|
+
actions: [action],
|
|
276
|
+
initialState: new Set(['p']),
|
|
277
|
+
goal: new Set(['goal-fact']),
|
|
278
|
+
};
|
|
279
|
+
(0, vitest_1.expect)((0, planning_1.bfsPlan)(problem)).toBeNull();
|
|
280
|
+
});
|
|
281
|
+
});
|
|
282
|
+
// ──────────────────────────────────────────────────────────────
|
|
283
|
+
// 5. BFS vs A* — mismo plan length
|
|
284
|
+
// ──────────────────────────────────────────────────────────────
|
|
285
|
+
(0, vitest_1.describe)('planning — BFS vs A* coherencia', () => {
|
|
286
|
+
(0, vitest_1.it)('mismo length en blocks-world simple', () => {
|
|
287
|
+
const initial = ['on-table(a)', 'clear(a)', 'on-table(b)', 'clear(b)', 'arm-empty'];
|
|
288
|
+
const goal = ['on(a,b)'];
|
|
289
|
+
const problem = blocksProblem(initial, goal);
|
|
290
|
+
const bfs = (0, planning_1.bfsPlan)(problem);
|
|
291
|
+
const astar = (0, planning_1.aStarPlan)(problem);
|
|
292
|
+
(0, vitest_1.expect)(bfs).not.toBeNull();
|
|
293
|
+
(0, vitest_1.expect)(astar).not.toBeNull();
|
|
294
|
+
(0, vitest_1.expect)(bfs.length).toBe(astar.length);
|
|
295
|
+
});
|
|
296
|
+
(0, vitest_1.it)('mismo length en problema más profundo', () => {
|
|
297
|
+
const initial = ['on(a,b)', 'on-table(b)', 'clear(a)', 'arm-empty'];
|
|
298
|
+
const goal = ['on(b,a)'];
|
|
299
|
+
const problem = blocksProblem(initial, goal, ['a', 'b']);
|
|
300
|
+
const bfs = (0, planning_1.bfsPlan)(problem, { maxDepth: 10 });
|
|
301
|
+
const astar = (0, planning_1.aStarPlan)(problem, { maxDepth: 10 });
|
|
302
|
+
(0, vitest_1.expect)(bfs).not.toBeNull();
|
|
303
|
+
(0, vitest_1.expect)(astar).not.toBeNull();
|
|
304
|
+
(0, vitest_1.expect)(bfs.length).toBe(astar.length);
|
|
305
|
+
});
|
|
306
|
+
});
|
|
307
|
+
// ──────────────────────────────────────────────────────────────
|
|
308
|
+
// 6. Heurísticas
|
|
309
|
+
// ──────────────────────────────────────────────────────────────
|
|
310
|
+
(0, vitest_1.describe)('planning — goalCountHeuristic', () => {
|
|
311
|
+
(0, vitest_1.it)('cuenta hechos faltantes', () => {
|
|
312
|
+
(0, vitest_1.expect)((0, planning_1.goalCountHeuristic)(new Set(['a']), new Set(['a', 'b', 'c']))).toBe(2);
|
|
313
|
+
(0, vitest_1.expect)((0, planning_1.goalCountHeuristic)(new Set(['a', 'b', 'c']), new Set(['a']))).toBe(0);
|
|
314
|
+
});
|
|
315
|
+
});
|
|
316
|
+
(0, vitest_1.describe)('planning — fastForwardHeuristic', () => {
|
|
317
|
+
(0, vitest_1.it)('0 cuando goal ya satisfecho', () => {
|
|
318
|
+
const h = (0, planning_1.fastForwardHeuristic)(new Set(['a', 'b']), new Set(['a']), []);
|
|
319
|
+
(0, vitest_1.expect)(h).toBe(0);
|
|
320
|
+
});
|
|
321
|
+
(0, vitest_1.it)('Infinity cuando no hay forma de alcanzar el goal', () => {
|
|
322
|
+
// Sin acciones que produzcan 'q'.
|
|
323
|
+
const h = (0, planning_1.fastForwardHeuristic)(new Set(['a']), new Set(['q']), []);
|
|
324
|
+
(0, vitest_1.expect)(h).toBe(Infinity);
|
|
325
|
+
});
|
|
326
|
+
(0, vitest_1.it)('aproxima la distancia en niveles', () => {
|
|
327
|
+
// Cadena a → b → c → d. Inicial: {a}. Goal: {d}.
|
|
328
|
+
const actions = [
|
|
329
|
+
{ name: 'a2b', parameters: [], preconditions: ['a'], addList: ['b'], delList: ['a'] },
|
|
330
|
+
{ name: 'b2c', parameters: [], preconditions: ['b'], addList: ['c'], delList: ['b'] },
|
|
331
|
+
{ name: 'c2d', parameters: [], preconditions: ['c'], addList: ['d'], delList: ['c'] },
|
|
332
|
+
];
|
|
333
|
+
const h = (0, planning_1.fastForwardHeuristic)(new Set(['a']), new Set(['d']), actions);
|
|
334
|
+
// Sin delete-list: cada nivel añade el siguiente. d aparece en nivel 3.
|
|
335
|
+
(0, vitest_1.expect)(h).toBe(3);
|
|
336
|
+
});
|
|
337
|
+
(0, vitest_1.it)('makeFFHeuristic guía A* a una solución', () => {
|
|
338
|
+
const initial = ['on-table(a)', 'clear(a)', 'on-table(b)', 'clear(b)', 'arm-empty'];
|
|
339
|
+
const goal = ['on(a,b)'];
|
|
340
|
+
const problem = blocksProblem(initial, goal);
|
|
341
|
+
const heuristic = (0, planning_1.makeFFHeuristic)(problem);
|
|
342
|
+
const plan = (0, planning_1.aStarPlan)(problem, { heuristic });
|
|
343
|
+
(0, vitest_1.expect)(plan).not.toBeNull();
|
|
344
|
+
(0, vitest_1.expect)(plan.length).toBeGreaterThan(0);
|
|
345
|
+
});
|
|
346
|
+
});
|
|
347
|
+
// ──────────────────────────────────────────────────────────────
|
|
348
|
+
// 7. A* con costos variables
|
|
349
|
+
// ──────────────────────────────────────────────────────────────
|
|
350
|
+
(0, vitest_1.describe)('planning — A* con costFunction', () => {
|
|
351
|
+
(0, vitest_1.it)('prefiere camino más barato aunque tenga más pasos', () => {
|
|
352
|
+
// Dominio juguete: del estado {s} al goal {g} por dos caminos:
|
|
353
|
+
// - cheap1; cheap2; cheap3 (cada uno cuesta 1, total 3)
|
|
354
|
+
// - heavy (un paso, costo 100)
|
|
355
|
+
// A* con cost variable debe preferir la cadena de 3 pasos.
|
|
356
|
+
const actions = [
|
|
357
|
+
{ name: 'cheap1', parameters: [], preconditions: ['s'], addList: ['t1'], delList: ['s'] },
|
|
358
|
+
{ name: 'cheap2', parameters: [], preconditions: ['t1'], addList: ['t2'], delList: ['t1'] },
|
|
359
|
+
{ name: 'cheap3', parameters: [], preconditions: ['t2'], addList: ['g'], delList: ['t2'] },
|
|
360
|
+
{ name: 'heavy', parameters: [], preconditions: ['s'], addList: ['g'], delList: ['s'] },
|
|
361
|
+
];
|
|
362
|
+
const problem = {
|
|
363
|
+
predicates: ['s', 't1', 't2', 'g'],
|
|
364
|
+
objects: {},
|
|
365
|
+
actions,
|
|
366
|
+
initialState: new Set(['s']),
|
|
367
|
+
goal: new Set(['g']),
|
|
368
|
+
};
|
|
369
|
+
const costFunction = (step) => step.action.name === 'heavy' ? 100 : 1;
|
|
370
|
+
const plan = (0, planning_1.aStarPlan)(problem, { costFunction });
|
|
371
|
+
(0, vitest_1.expect)(plan).not.toBeNull();
|
|
372
|
+
const p = plan;
|
|
373
|
+
(0, vitest_1.expect)(p.cost).toBe(3);
|
|
374
|
+
(0, vitest_1.expect)(p.length).toBe(3);
|
|
375
|
+
});
|
|
376
|
+
});
|
|
377
|
+
// ──────────────────────────────────────────────────────────────
|
|
378
|
+
// 8. Plan ejecutable end-to-end
|
|
379
|
+
// ──────────────────────────────────────────────────────────────
|
|
380
|
+
(0, vitest_1.describe)('planning — plan ejecutable paso a paso', () => {
|
|
381
|
+
(0, vitest_1.it)('cada acción del plan es aplicable y lleva al goal', () => {
|
|
382
|
+
const initial = ['on-table(a)', 'clear(a)', 'on-table(b)', 'clear(b)', 'arm-empty'];
|
|
383
|
+
const goal = ['on(a,b)'];
|
|
384
|
+
const problem = blocksProblem(initial, goal);
|
|
385
|
+
const plan = (0, planning_1.aStarPlan)(problem, { heuristic: (0, planning_1.makeFFHeuristic)(problem) });
|
|
386
|
+
(0, vitest_1.expect)(plan).not.toBeNull();
|
|
387
|
+
const p = plan;
|
|
388
|
+
let state = new Set(initial);
|
|
389
|
+
for (const step of p.actions) {
|
|
390
|
+
const g = (0, planning_1.ground)(step.action, step.bindings);
|
|
391
|
+
(0, vitest_1.expect)((0, planning_1.preconditionsSatisfied)(state, g.preconditions)).toBe(true);
|
|
392
|
+
state = (0, planning_1.applyAction)(state, g);
|
|
393
|
+
}
|
|
394
|
+
(0, vitest_1.expect)((0, planning_1.goalSatisfied)(state, new Set(goal))).toBe(true);
|
|
395
|
+
});
|
|
396
|
+
});
|
|
397
|
+
//# sourceMappingURL=planning.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"planning.test.js","sourceRoot":"","sources":["../../../src/tests/planning/planning.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,4CAA4C;AAC5C,+DAA+D;;AAE/D,mCAA8C;AAC9C,qDAiBgC;AAEhC,iEAAiE;AACjE,wBAAwB;AACxB,iEAAiE;AACjE,EAAE;AACF,cAAc;AACd,kDAAkD;AAClD,iDAAiD;AACjD,+CAA+C;AAC/C,+CAA+C;AAC/C,yCAAyC;AACzC,EAAE;AACF,YAAY;AACZ,8DAA8D;AAC9D,6EAA6E;AAC7E,qCAAqC;AACrC,2EAA2E;AAC3E,iDAAiD;AACjD,qFAAqF;AACrF,2DAA2D;AAC3D,sFAAsF;AAEtF,MAAM,kBAAkB,GAAmB;IACzC;QACE,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE,CAAC,IAAI,CAAC;QAClB,aAAa,EAAE,CAAC,WAAW,EAAE,cAAc,EAAE,WAAW,CAAC;QACzD,OAAO,EAAE,CAAC,aAAa,CAAC;QACxB,OAAO,EAAE,CAAC,cAAc,EAAE,WAAW,EAAE,WAAW,CAAC;KACpD;IACD;QACE,IAAI,EAAE,SAAS;QACf,UAAU,EAAE,CAAC,IAAI,CAAC;QAClB,aAAa,EAAE,CAAC,aAAa,CAAC;QAC9B,OAAO,EAAE,CAAC,cAAc,EAAE,WAAW,EAAE,WAAW,CAAC;QACnD,OAAO,EAAE,CAAC,aAAa,CAAC;KACzB;IACD;QACE,IAAI,EAAE,OAAO;QACb,UAAU,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;QACxB,aAAa,EAAE,CAAC,aAAa,EAAE,WAAW,CAAC;QAC3C,OAAO,EAAE,CAAC,WAAW,EAAE,WAAW,EAAE,WAAW,CAAC;QAChD,OAAO,EAAE,CAAC,aAAa,EAAE,WAAW,CAAC;KACtC;IACD;QACE,IAAI,EAAE,SAAS;QACf,UAAU,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;QACxB,aAAa,EAAE,CAAC,WAAW,EAAE,WAAW,EAAE,WAAW,CAAC;QACtD,OAAO,EAAE,CAAC,aAAa,EAAE,WAAW,CAAC;QACrC,OAAO,EAAE,CAAC,WAAW,EAAE,WAAW,EAAE,WAAW,CAAC;KACjD;CACF,CAAC;AAEF,SAAS,aAAa,CACpB,OAAuB,EACvB,IAAoB,EACpB,SAAmB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;IAElC,OAAO;QACL,UAAU,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,CAAC;QAC/D,OAAO,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE;QAC1B,OAAO,EAAE,kBAAkB;QAC3B,YAAY,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC;QAC9B,IAAI,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC;KACpB,CAAC;AACJ,CAAC;AAED,iEAAiE;AACjE,6BAA6B;AAC7B,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,IAAA,eAAM,EAAC,IAAA,yBAAc,EAAC,WAAW,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,IAAA,eAAM,EAAC,IAAA,yBAAc,EAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,IAAA,eAAM,EAAC,IAAA,yBAAc,EAAC,WAAW,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,IAAA,eAAM,EAAC,IAAA,yBAAc,EAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,MAAM,GAAiB;YAC3B,IAAI,EAAE,MAAM;YACZ,UAAU,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC;YAC5B,aAAa,EAAE,CAAC,WAAW,CAAC;YAC5B,OAAO,EAAE,CAAC,SAAS,CAAC;YACpB,OAAO,EAAE,CAAC,WAAW,CAAC;SACvB,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,iBAAM,EAAC,MAAM,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AACjE,iCAAiC;AACjC,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAClC,MAAM,IAAI,GAAG,IAAA,sBAAW,EAAC,KAAK,EAAE;YAC9B,OAAO,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;YACvB,OAAO,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;SACxB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7B,IAAA,sBAAW,EAAC,KAAK,EAAE,EAAE,OAAO,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAA,sBAAW,EAAC,KAAK,EAAE;YAC9B,OAAO,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;YACvB,OAAO,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;SACxB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,IAAA,eAAM,EAAC,IAAA,iCAAsB,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,IAAA,eAAM,EAAC,IAAA,iCAAsB,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AACjE,2BAA2B;AAC3B,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAiB;YACtB,IAAI,EAAE,GAAG;YACT,UAAU,EAAE,CAAC,IAAI,CAAC;YAClB,aAAa,EAAE,EAAE;YACjB,OAAO,EAAE,CAAC,OAAO,CAAC;YAClB,OAAO,EAAE,EAAE;SACZ,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,oBAAS,EAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC3D,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAiB;YACtB,IAAI,EAAE,GAAG;YACT,UAAU,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;YACxB,aAAa,EAAE,EAAE;YACjB,OAAO,EAAE,CAAC,UAAU,CAAC;YACrB,OAAO,EAAE,EAAE;SACZ,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,oBAAS,EAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAiB;YACtB,IAAI,EAAE,MAAM;YACZ,UAAU,EAAE,EAAE;YACd,aAAa,EAAE,CAAC,GAAG,CAAC;YACpB,OAAO,EAAE,CAAC,GAAG,CAAC;YACd,OAAO,EAAE,EAAE;SACZ,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,oBAAS,EAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,EAAE,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACpC,MAAM,EAAE,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,oBAAS,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAA,oBAAS,EAAC,EAAE,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,IAAA,eAAM,EAAC,IAAA,oBAAS,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAA,oBAAS,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AACjE,sCAAsC;AACtC,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,mEAAmE;QACnE,gBAAgB;QAChB,MAAM,OAAO,GAAG,aAAa,CAC3B,CAAC,YAAY,EAAE,aAAa,EAAE,UAAU,EAAE,aAAa,EAAE,UAAU,CAAC,EACpE,CAAC,SAAS,CAAC,CACZ,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,kBAAO,EAAC,OAAO,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAY,CAAC;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,oDAAoD;QACpD,0CAA0C;QAC1C,MAAM,OAAO,GAAG,CAAC,SAAS,EAAE,SAAS,EAAE,aAAa,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;QAC/E,MAAM,IAAI,GAAG,CAAC,SAAS,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;QACnD,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,IAAA,kBAAO,EAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAY,CAAC;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACpC,iDAAiD;QACjD,IAAI,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YAC7B,MAAM,CAAC,GAAG,IAAA,iBAAM,EAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC7C,IAAA,eAAM,EAAC,IAAA,iCAAsB,EAAC,KAAK,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClE,KAAK,GAAG,IAAA,sBAAW,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAChC,CAAC;QACD,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,KAAK,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,OAAO,GAAG,aAAa,CAAC,CAAC,aAAa,EAAE,UAAU,EAAE,WAAW,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC;QACzF,MAAM,IAAI,GAAG,IAAA,kBAAO,EAAC,OAAO,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,IAAA,eAAM,EAAE,IAAa,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAE,IAAa,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,uCAAuC;QACvC,MAAM,OAAO,GAAkB;YAC7B,UAAU,EAAE,CAAC,GAAG,CAAC;YACjB,OAAO,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE;YACrB,OAAO,EAAE,EAAE;YACX,YAAY,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;YAC5B,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;SACrB,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,kBAAO,EAAC,OAAO,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,MAAM,GAAiB;YAC3B,IAAI,EAAE,aAAa;YACnB,UAAU,EAAE,EAAE;YACd,aAAa,EAAE,CAAC,OAAO,CAAC,EAAE,iBAAiB;YAC3C,OAAO,EAAE,CAAC,WAAW,CAAC;YACtB,OAAO,EAAE,EAAE;SACZ,CAAC;QACF,MAAM,OAAO,GAAkB;YAC7B,UAAU,EAAE,CAAC,OAAO,EAAE,WAAW,CAAC;YAClC,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,YAAY,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;YAC5B,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC;SAC7B,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,kBAAO,EAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AACjE,mCAAmC;AACnC,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,OAAO,GAAG,CAAC,aAAa,EAAE,UAAU,EAAE,aAAa,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;QACpF,MAAM,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;QACzB,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC7C,MAAM,GAAG,GAAG,IAAA,kBAAO,EAAC,OAAO,CAAC,CAAC;QAC7B,MAAM,KAAK,GAAG,IAAA,oBAAS,EAAC,OAAO,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC3B,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAE,GAAY,CAAC,MAAM,CAAC,CAAC,IAAI,CAAE,KAAc,CAAC,MAAM,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,OAAO,GAAG,CAAC,SAAS,EAAE,aAAa,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;QACpE,MAAM,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;QACzB,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACzD,MAAM,GAAG,GAAG,IAAA,kBAAO,EAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/C,MAAM,KAAK,GAAG,IAAA,oBAAS,EAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC3B,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAE,GAAY,CAAC,MAAM,CAAC,CAAC,IAAI,CAAE,KAAc,CAAC,MAAM,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AACjE,iBAAiB;AACjB,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,IAAA,eAAM,EAAC,IAAA,6BAAkB,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7E,IAAA,eAAM,EAAC,IAAA,6BAAkB,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,IAAA,+BAAoB,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,kCAAkC;QAClC,MAAM,CAAC,GAAG,IAAA,+BAAoB,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,iDAAiD;QACjD,MAAM,OAAO,GAAmB;YAC9B,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE;YACrF,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE;YACrF,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE;SACtF,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,+BAAoB,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QACxE,wEAAwE;QACxE,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,OAAO,GAAG,CAAC,aAAa,EAAE,UAAU,EAAE,aAAa,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;QACpF,MAAM,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;QACzB,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC7C,MAAM,SAAS,GAAG,IAAA,0BAAe,EAAC,OAAO,CAAC,CAAC;QAC3C,MAAM,IAAI,GAAG,IAAA,oBAAS,EAAC,OAAO,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,IAAA,eAAM,EAAE,IAAa,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AACjE,6BAA6B;AAC7B,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,+DAA+D;QAC/D,0DAA0D;QAC1D,2CAA2C;QAC3C,2DAA2D;QAC3D,MAAM,OAAO,GAAmB;YAC9B,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE;YACzF,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE;YAC3F,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE;YAC1F,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE;SACxF,CAAC;QACF,MAAM,OAAO,GAAkB;YAC7B,UAAU,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YAClC,OAAO,EAAE,EAAE;YACX,OAAO;YACP,YAAY,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;YAC5B,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;SACrB,CAAC;QACF,MAAM,YAAY,GAAG,CAAC,IAA8B,EAAU,EAAE,CAC9D,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,IAAA,oBAAS,EAAC,OAAO,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAY,CAAC;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AACjE,gCAAgC;AAChC,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,OAAO,GAAG,CAAC,aAAa,EAAE,UAAU,EAAE,aAAa,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;QACpF,MAAM,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;QACzB,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,IAAA,oBAAS,EAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAA,0BAAe,EAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAY,CAAC;QAEvB,IAAI,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YAC7B,MAAM,CAAC,GAAG,IAAA,iBAAM,EAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC7C,IAAA,eAAM,EAAC,IAAA,iCAAsB,EAAC,KAAK,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClE,KAAK,GAAG,IAAA,sBAAW,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAChC,CAAC;QACD,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,KAAK,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"translations.test.d.ts","sourceRoot":"","sources":["../../../src/tests/profile-bridge/translations.test.ts"],"names":[],"mappings":""}
|