dabke 0.83.0 → 0.84.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/CHANGELOG.md +21 -0
- package/README.md +22 -27
- package/dist/client.d.ts +39 -3
- package/dist/client.d.ts.map +1 -1
- package/dist/client.js.map +1 -1
- package/dist/client.schemas.d.ts +118 -18
- package/dist/client.schemas.d.ts.map +1 -1
- package/dist/client.schemas.js +110 -6
- package/dist/client.schemas.js.map +1 -1
- package/dist/client.types.d.ts +63 -7
- package/dist/client.types.d.ts.map +1 -1
- package/dist/client.types.js.map +1 -1
- package/dist/cpsat/cost.d.ts +5 -2
- package/dist/cpsat/cost.d.ts.map +1 -1
- package/dist/cpsat/cost.js +13 -6
- package/dist/cpsat/cost.js.map +1 -1
- package/dist/cpsat/model-builder.d.ts +42 -61
- package/dist/cpsat/model-builder.d.ts.map +1 -1
- package/dist/cpsat/model-builder.js +451 -56
- package/dist/cpsat/model-builder.js.map +1 -1
- package/dist/cpsat/response.d.ts +19 -7
- package/dist/cpsat/response.d.ts.map +1 -1
- package/dist/cpsat/response.js +48 -9
- package/dist/cpsat/response.js.map +1 -1
- package/dist/cpsat/rule-descriptor.d.ts +250 -0
- package/dist/cpsat/rule-descriptor.d.ts.map +1 -0
- package/dist/cpsat/rule-descriptor.js +51 -0
- package/dist/cpsat/rule-descriptor.js.map +1 -0
- package/dist/cpsat/rules/artifacts.d.ts +9 -0
- package/dist/cpsat/rules/artifacts.d.ts.map +1 -0
- package/dist/cpsat/rules/artifacts.js +31 -0
- package/dist/cpsat/rules/artifacts.js.map +1 -0
- package/dist/cpsat/rules/assign-together.d.ts +18 -20
- package/dist/cpsat/rules/assign-together.d.ts.map +1 -1
- package/dist/cpsat/rules/assign-together.js +90 -54
- package/dist/cpsat/rules/assign-together.js.map +1 -1
- package/dist/cpsat/rules/assigned-day.d.ts +12 -0
- package/dist/cpsat/rules/assigned-day.d.ts.map +1 -0
- package/dist/cpsat/rules/assigned-day.js +43 -0
- package/dist/cpsat/rules/assigned-day.js.map +1 -0
- package/dist/cpsat/rules/assignment-priority.d.ts +15 -29
- package/dist/cpsat/rules/assignment-priority.d.ts.map +1 -1
- package/dist/cpsat/rules/assignment-priority.js +47 -50
- package/dist/cpsat/rules/assignment-priority.js.map +1 -1
- package/dist/cpsat/rules/assignment-terms.d.ts +6 -0
- package/dist/cpsat/rules/assignment-terms.d.ts.map +1 -0
- package/dist/cpsat/rules/assignment-terms.js +19 -0
- package/dist/cpsat/rules/assignment-terms.js.map +1 -0
- package/dist/cpsat/rules/concurrent-intervals.d.ts +19 -0
- package/dist/cpsat/rules/concurrent-intervals.d.ts.map +1 -0
- package/dist/cpsat/rules/concurrent-intervals.js +57 -0
- package/dist/cpsat/rules/concurrent-intervals.js.map +1 -0
- package/dist/cpsat/rules/cost-utils.d.ts +1 -3
- package/dist/cpsat/rules/cost-utils.d.ts.map +1 -1
- package/dist/cpsat/rules/cost-utils.js +0 -7
- package/dist/cpsat/rules/cost-utils.js.map +1 -1
- package/dist/cpsat/rules/day-cost-multiplier.d.ts +10 -10
- package/dist/cpsat/rules/day-cost-multiplier.d.ts.map +1 -1
- package/dist/cpsat/rules/day-cost-multiplier.js +88 -77
- package/dist/cpsat/rules/day-cost-multiplier.js.map +1 -1
- package/dist/cpsat/rules/day-cost-surcharge.d.ts +10 -10
- package/dist/cpsat/rules/day-cost-surcharge.d.ts.map +1 -1
- package/dist/cpsat/rules/day-cost-surcharge.js +76 -65
- package/dist/cpsat/rules/day-cost-surcharge.js.map +1 -1
- package/dist/cpsat/rules/index.d.ts +30 -24
- package/dist/cpsat/rules/index.d.ts.map +1 -1
- package/dist/cpsat/rules/index.js +30 -24
- package/dist/cpsat/rules/index.js.map +1 -1
- package/dist/cpsat/rules/location-preference.d.ts +14 -21
- package/dist/cpsat/rules/location-preference.d.ts.map +1 -1
- package/dist/cpsat/rules/location-preference.js +45 -45
- package/dist/cpsat/rules/location-preference.js.map +1 -1
- package/dist/cpsat/rules/max-concurrent-assignments.d.ts +46 -0
- package/dist/cpsat/rules/max-concurrent-assignments.d.ts.map +1 -0
- package/dist/cpsat/rules/max-concurrent-assignments.js +121 -0
- package/dist/cpsat/rules/max-concurrent-assignments.js.map +1 -0
- package/dist/cpsat/rules/max-consecutive-days.d.ts +18 -17
- package/dist/cpsat/rules/max-consecutive-days.d.ts.map +1 -1
- package/dist/cpsat/rules/max-consecutive-days.js +67 -66
- package/dist/cpsat/rules/max-consecutive-days.js.map +1 -1
- package/dist/cpsat/rules/max-days-of-week-per-period.d.ts +45 -0
- package/dist/cpsat/rules/max-days-of-week-per-period.d.ts.map +1 -0
- package/dist/cpsat/rules/max-days-of-week-per-period.js +95 -0
- package/dist/cpsat/rules/max-days-of-week-per-period.js.map +1 -0
- package/dist/cpsat/rules/max-days-week.d.ts +17 -31
- package/dist/cpsat/rules/max-days-week.d.ts.map +1 -1
- package/dist/cpsat/rules/max-days-week.js +69 -81
- package/dist/cpsat/rules/max-days-week.js.map +1 -1
- package/dist/cpsat/rules/max-hours-day.d.ts +14 -31
- package/dist/cpsat/rules/max-hours-day.d.ts.map +1 -1
- package/dist/cpsat/rules/max-hours-day.js +56 -72
- package/dist/cpsat/rules/max-hours-day.js.map +1 -1
- package/dist/cpsat/rules/max-hours-week.d.ts +15 -31
- package/dist/cpsat/rules/max-hours-week.d.ts.map +1 -1
- package/dist/cpsat/rules/max-hours-week.js +60 -75
- package/dist/cpsat/rules/max-hours-week.js.map +1 -1
- package/dist/cpsat/rules/max-shifts-day.d.ts +17 -33
- package/dist/cpsat/rules/max-shifts-day.d.ts.map +1 -1
- package/dist/cpsat/rules/max-shifts-day.js +57 -73
- package/dist/cpsat/rules/max-shifts-day.js.map +1 -1
- package/dist/cpsat/rules/min-consecutive-days.d.ts +18 -18
- package/dist/cpsat/rules/min-consecutive-days.d.ts.map +1 -1
- package/dist/cpsat/rules/min-consecutive-days.js +123 -94
- package/dist/cpsat/rules/min-consecutive-days.js.map +1 -1
- package/dist/cpsat/rules/min-days-of-week-per-period.d.ts +35 -0
- package/dist/cpsat/rules/min-days-of-week-per-period.d.ts.map +1 -0
- package/dist/cpsat/rules/min-days-of-week-per-period.js +108 -0
- package/dist/cpsat/rules/min-days-of-week-per-period.js.map +1 -0
- package/dist/cpsat/rules/min-days-week.d.ts +13 -26
- package/dist/cpsat/rules/min-days-week.d.ts.map +1 -1
- package/dist/cpsat/rules/min-days-week.js +85 -74
- package/dist/cpsat/rules/min-days-week.js.map +1 -1
- package/dist/cpsat/rules/min-hours-day.d.ts +14 -17
- package/dist/cpsat/rules/min-hours-day.d.ts.map +1 -1
- package/dist/cpsat/rules/min-hours-day.js +72 -54
- package/dist/cpsat/rules/min-hours-day.js.map +1 -1
- package/dist/cpsat/rules/min-hours-week.d.ts +15 -18
- package/dist/cpsat/rules/min-hours-week.d.ts.map +1 -1
- package/dist/cpsat/rules/min-hours-week.js +75 -57
- package/dist/cpsat/rules/min-hours-week.js.map +1 -1
- package/dist/cpsat/rules/min-rest-between-shifts.d.ts +14 -17
- package/dist/cpsat/rules/min-rest-between-shifts.d.ts.map +1 -1
- package/dist/cpsat/rules/min-rest-between-shifts.js +148 -138
- package/dist/cpsat/rules/min-rest-between-shifts.js.map +1 -1
- package/dist/cpsat/rules/minimize-cost.d.ts +2 -18
- package/dist/cpsat/rules/minimize-cost.d.ts.map +1 -1
- package/dist/cpsat/rules/minimize-cost.js +151 -163
- package/dist/cpsat/rules/minimize-cost.js.map +1 -1
- package/dist/cpsat/rules/must-assign.d.ts +5 -42
- package/dist/cpsat/rules/must-assign.d.ts.map +1 -1
- package/dist/cpsat/rules/must-assign.js +43 -75
- package/dist/cpsat/rules/must-assign.js.map +1 -1
- package/dist/cpsat/rules/overtime-daily-multiplier.d.ts +6 -10
- package/dist/cpsat/rules/overtime-daily-multiplier.d.ts.map +1 -1
- package/dist/cpsat/rules/overtime-daily-multiplier.js +118 -112
- package/dist/cpsat/rules/overtime-daily-multiplier.js.map +1 -1
- package/dist/cpsat/rules/overtime-daily-surcharge.d.ts +6 -11
- package/dist/cpsat/rules/overtime-daily-surcharge.d.ts.map +1 -1
- package/dist/cpsat/rules/overtime-daily-surcharge.js +104 -99
- package/dist/cpsat/rules/overtime-daily-surcharge.js.map +1 -1
- package/dist/cpsat/rules/overtime-tiered-multiplier.d.ts +9 -21
- package/dist/cpsat/rules/overtime-tiered-multiplier.d.ts.map +1 -1
- package/dist/cpsat/rules/overtime-tiered-multiplier.js +181 -199
- package/dist/cpsat/rules/overtime-tiered-multiplier.js.map +1 -1
- package/dist/cpsat/rules/overtime-weekly-multiplier.d.ts +13 -12
- package/dist/cpsat/rules/overtime-weekly-multiplier.d.ts.map +1 -1
- package/dist/cpsat/rules/overtime-weekly-multiplier.js +143 -143
- package/dist/cpsat/rules/overtime-weekly-multiplier.js.map +1 -1
- package/dist/cpsat/rules/overtime-weekly-surcharge.d.ts +7 -11
- package/dist/cpsat/rules/overtime-weekly-surcharge.d.ts.map +1 -1
- package/dist/cpsat/rules/overtime-weekly-surcharge.js +124 -119
- package/dist/cpsat/rules/overtime-weekly-surcharge.js.map +1 -1
- package/dist/cpsat/rules/pattern-eligibility.d.ts +6 -0
- package/dist/cpsat/rules/pattern-eligibility.d.ts.map +1 -0
- package/dist/cpsat/rules/pattern-eligibility.js +16 -0
- package/dist/cpsat/rules/pattern-eligibility.js.map +1 -0
- package/dist/cpsat/rules/pattern-time.d.ts +5 -0
- package/dist/cpsat/rules/pattern-time.d.ts.map +1 -0
- package/dist/cpsat/rules/pattern-time.js +20 -0
- package/dist/cpsat/rules/pattern-time.js.map +1 -0
- package/dist/cpsat/rules/registry.d.ts +217 -30
- package/dist/cpsat/rules/registry.d.ts.map +1 -1
- package/dist/cpsat/rules/registry.js +98 -34
- package/dist/cpsat/rules/registry.js.map +1 -1
- package/dist/cpsat/rules/resolver.d.ts +9 -7
- package/dist/cpsat/rules/resolver.d.ts.map +1 -1
- package/dist/cpsat/rules/resolver.js +19 -18
- package/dist/cpsat/rules/resolver.js.map +1 -1
- package/dist/cpsat/rules/role-preference.d.ts +24 -0
- package/dist/cpsat/rules/role-preference.d.ts.map +1 -0
- package/dist/cpsat/rules/role-preference.js +72 -0
- package/dist/cpsat/rules/role-preference.js.map +1 -0
- package/dist/cpsat/rules/rules.types.d.ts +90 -17
- package/dist/cpsat/rules/rules.types.d.ts.map +1 -1
- package/dist/cpsat/rules/scope.types.d.ts +24 -11
- package/dist/cpsat/rules/scope.types.d.ts.map +1 -1
- package/dist/cpsat/rules/scope.types.js +14 -19
- package/dist/cpsat/rules/scope.types.js.map +1 -1
- package/dist/cpsat/rules/target-days-week.d.ts +31 -0
- package/dist/cpsat/rules/target-days-week.d.ts.map +1 -0
- package/dist/cpsat/rules/target-days-week.js +80 -0
- package/dist/cpsat/rules/target-days-week.js.map +1 -0
- package/dist/cpsat/rules/target-peak-concurrent-assignments.d.ts +33 -0
- package/dist/cpsat/rules/target-peak-concurrent-assignments.d.ts.map +1 -0
- package/dist/cpsat/rules/target-peak-concurrent-assignments.js +146 -0
- package/dist/cpsat/rules/target-peak-concurrent-assignments.js.map +1 -0
- package/dist/cpsat/rules/time-cost-surcharge.d.ts +15 -14
- package/dist/cpsat/rules/time-cost-surcharge.d.ts.map +1 -1
- package/dist/cpsat/rules/time-cost-surcharge.js +82 -96
- package/dist/cpsat/rules/time-cost-surcharge.js.map +1 -1
- package/dist/cpsat/rules/time-off.d.ts +21 -57
- package/dist/cpsat/rules/time-off.d.ts.map +1 -1
- package/dist/cpsat/rules/time-off.js +114 -127
- package/dist/cpsat/rules/time-off.js.map +1 -1
- package/dist/cpsat/rules/variables.d.ts +4 -0
- package/dist/cpsat/rules/variables.d.ts.map +1 -0
- package/dist/cpsat/rules/variables.js +10 -0
- package/dist/cpsat/rules/variables.js.map +1 -0
- package/dist/cpsat/rules.d.ts +20 -3
- package/dist/cpsat/rules.d.ts.map +1 -1
- package/dist/cpsat/rules.js +19 -2
- package/dist/cpsat/rules.js.map +1 -1
- package/dist/cpsat/semantic-time.d.ts +7 -6
- package/dist/cpsat/semantic-time.d.ts.map +1 -1
- package/dist/cpsat/semantic-time.js +15 -28
- package/dist/cpsat/semantic-time.js.map +1 -1
- package/dist/cpsat/types.d.ts +47 -4
- package/dist/cpsat/types.d.ts.map +1 -1
- package/dist/cpsat/types.js +24 -1
- package/dist/cpsat/types.js.map +1 -1
- package/dist/cpsat/utils.d.ts +23 -6
- package/dist/cpsat/utils.d.ts.map +1 -1
- package/dist/cpsat/utils.js +76 -15
- package/dist/cpsat/utils.js.map +1 -1
- package/dist/cpsat/validation-reporter.d.ts +6 -2
- package/dist/cpsat/validation-reporter.d.ts.map +1 -1
- package/dist/cpsat/validation-reporter.js +122 -10
- package/dist/cpsat/validation-reporter.js.map +1 -1
- package/dist/cpsat/validation.types.d.ts +21 -10
- package/dist/cpsat/validation.types.d.ts.map +1 -1
- package/dist/datetime.utils.d.ts +7 -13
- package/dist/datetime.utils.d.ts.map +1 -1
- package/dist/datetime.utils.js +29 -36
- package/dist/datetime.utils.js.map +1 -1
- package/dist/index.d.ts +12 -8
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +8 -3
- package/dist/index.js.map +1 -1
- package/dist/schedule/cost.d.ts +48 -60
- package/dist/schedule/cost.d.ts.map +1 -1
- package/dist/schedule/cost.js +15 -51
- package/dist/schedule/cost.js.map +1 -1
- package/dist/schedule/coverage.d.ts +57 -28
- package/dist/schedule/coverage.d.ts.map +1 -1
- package/dist/schedule/coverage.js +24 -1
- package/dist/schedule/coverage.js.map +1 -1
- package/dist/schedule/definition.d.ts +138 -19
- package/dist/schedule/definition.d.ts.map +1 -1
- package/dist/schedule/definition.js +99 -90
- package/dist/schedule/definition.js.map +1 -1
- package/dist/schedule/index.d.ts +4 -4
- package/dist/schedule/index.d.ts.map +1 -1
- package/dist/schedule/index.js +2 -2
- package/dist/schedule/index.js.map +1 -1
- package/dist/schedule/rules.d.ts +438 -113
- package/dist/schedule/rules.d.ts.map +1 -1
- package/dist/schedule/rules.js +310 -108
- package/dist/schedule/rules.js.map +1 -1
- package/dist/schedule/shift-patterns.d.ts +0 -17
- package/dist/schedule/shift-patterns.d.ts.map +1 -1
- package/dist/schedule/shift-patterns.js +0 -17
- package/dist/schedule/shift-patterns.js.map +1 -1
- package/dist/schedule/time-periods.d.ts +37 -27
- package/dist/schedule/time-periods.d.ts.map +1 -1
- package/dist/schedule/time-periods.js +37 -27
- package/dist/schedule/time-periods.js.map +1 -1
- package/dist/types.d.ts +67 -3
- package/dist/types.d.ts.map +1 -1
- package/dist/types.js +64 -0
- package/dist/types.js.map +1 -1
- package/package.json +8 -9
- package/solver/src/solver/models.py +41 -4
- package/solver/src/solver/solver.py +546 -157
- package/solver/tests/test_solver.py +363 -7
- package/src/client.schemas.ts +127 -10
- package/src/client.ts +3 -0
- package/src/client.types.ts +73 -7
- package/src/cpsat/cost.ts +17 -7
- package/src/cpsat/model-builder.ts +614 -129
- package/src/cpsat/response.ts +57 -13
- package/src/cpsat/rule-descriptor.ts +311 -0
- package/src/cpsat/rules/artifacts.ts +56 -0
- package/src/cpsat/rules/assign-together.ts +104 -69
- package/src/cpsat/rules/assigned-day.ts +70 -0
- package/src/cpsat/rules/assignment-priority.ts +54 -58
- package/src/cpsat/rules/assignment-terms.ts +43 -0
- package/src/cpsat/rules/concurrent-intervals.ts +93 -0
- package/src/cpsat/rules/cost-utils.ts +1 -9
- package/src/cpsat/rules/day-cost-multiplier.ts +101 -81
- package/src/cpsat/rules/day-cost-surcharge.ts +91 -70
- package/src/cpsat/rules/index.ts +30 -24
- package/src/cpsat/rules/location-preference.ts +47 -52
- package/src/cpsat/rules/max-concurrent-assignments.ts +170 -0
- package/src/cpsat/rules/max-consecutive-days.ts +74 -91
- package/src/cpsat/rules/max-days-of-week-per-period.ts +127 -0
- package/src/cpsat/rules/max-days-week.ts +89 -115
- package/src/cpsat/rules/max-hours-day.ts +64 -84
- package/src/cpsat/rules/max-hours-week.ts +74 -90
- package/src/cpsat/rules/max-shifts-day.ts +65 -85
- package/src/cpsat/rules/min-consecutive-days.ts +161 -127
- package/src/cpsat/rules/min-days-of-week-per-period.ts +144 -0
- package/src/cpsat/rules/min-days-week.ts +93 -91
- package/src/cpsat/rules/min-hours-day.ts +79 -58
- package/src/cpsat/rules/min-hours-week.ts +87 -62
- package/src/cpsat/rules/min-rest-between-shifts.ts +191 -178
- package/src/cpsat/rules/minimize-cost.ts +175 -188
- package/src/cpsat/rules/must-assign.ts +44 -81
- package/src/cpsat/rules/overtime-daily-multiplier.ts +158 -140
- package/src/cpsat/rules/overtime-daily-surcharge.ts +141 -126
- package/src/cpsat/rules/overtime-tiered-multiplier.ts +234 -253
- package/src/cpsat/rules/overtime-weekly-multiplier.ts +183 -175
- package/src/cpsat/rules/overtime-weekly-surcharge.ts +161 -150
- package/src/cpsat/rules/pattern-eligibility.ts +26 -0
- package/src/cpsat/rules/pattern-time.ts +30 -0
- package/src/cpsat/rules/registry.ts +140 -62
- package/src/cpsat/rules/resolver.ts +58 -30
- package/src/cpsat/rules/role-preference.ts +92 -0
- package/src/cpsat/rules/rules.types.ts +89 -17
- package/src/cpsat/rules/scope.types.ts +31 -26
- package/src/cpsat/rules/target-days-week.ts +105 -0
- package/src/cpsat/rules/target-peak-concurrent-assignments.ts +212 -0
- package/src/cpsat/rules/time-cost-surcharge.ts +116 -122
- package/src/cpsat/rules/time-off.ts +154 -163
- package/src/cpsat/rules/variables.ts +11 -0
- package/src/cpsat/rules.ts +43 -17
- package/src/cpsat/semantic-time.ts +29 -43
- package/src/cpsat/types.ts +53 -4
- package/src/cpsat/utils.ts +92 -20
- package/src/cpsat/validation-reporter.ts +170 -19
- package/src/cpsat/validation.types.ts +22 -11
- package/src/datetime.utils.ts +45 -44
- package/src/index.ts +64 -12
- package/src/schedule/cost.ts +40 -61
- package/src/schedule/coverage.ts +57 -28
- package/src/schedule/definition.ts +565 -76
- package/src/schedule/index.ts +23 -3
- package/src/schedule/rules.ts +631 -132
- package/src/schedule/shift-patterns.ts +0 -17
- package/src/schedule/time-periods.ts +37 -27
- package/src/types.ts +114 -2
|
@@ -0,0 +1,72 @@
|
|
|
1
|
+
import * as z from "zod";
|
|
2
|
+
import { defineRuleDescriptor } from "../rule-descriptor.js";
|
|
3
|
+
import { PREFERENCE_WEIGHTS } from "../utils.js";
|
|
4
|
+
import { PrioritySchema, entityScope, parseEntityScope, resolveMembersFromScope, } from "./scope.types.js";
|
|
5
|
+
import { assignmentVar } from "./variables.js";
|
|
6
|
+
import { canAssignMemberToPattern, isPatternAvailableOnDay } from "./pattern-eligibility.js";
|
|
7
|
+
export const RolePreferenceSchema = z
|
|
8
|
+
.object({
|
|
9
|
+
roleId: z.string(),
|
|
10
|
+
priority: PrioritySchema,
|
|
11
|
+
})
|
|
12
|
+
.and(entityScope(["members", "roles", "skills"]));
|
|
13
|
+
/**
|
|
14
|
+
* Low-level descriptor for role preference rules.
|
|
15
|
+
*
|
|
16
|
+
* @category Rules
|
|
17
|
+
*/
|
|
18
|
+
export const rolePreferenceRuleDescriptor = defineRuleDescriptor({
|
|
19
|
+
name: "role-preference",
|
|
20
|
+
schema: RolePreferenceSchema,
|
|
21
|
+
compile(config, ctx) {
|
|
22
|
+
const scope = parseEntityScope(config);
|
|
23
|
+
const { roleId } = config;
|
|
24
|
+
const weight = PREFERENCE_WEIGHTS[config.priority] ?? 0;
|
|
25
|
+
if (weight === 0) {
|
|
26
|
+
return { rule: "role-preference", artifacts: [] };
|
|
27
|
+
}
|
|
28
|
+
const members = resolveMembersFromScope(scope, [...ctx.members]);
|
|
29
|
+
if (members.length === 0) {
|
|
30
|
+
return { rule: "role-preference", artifacts: [] };
|
|
31
|
+
}
|
|
32
|
+
const membersWithRole = members.filter((member) => member.roleIds.includes(roleId));
|
|
33
|
+
const artifacts = [];
|
|
34
|
+
if (membersWithRole.length === 0) {
|
|
35
|
+
artifacts.push({
|
|
36
|
+
kind: "pre-solve-feedback",
|
|
37
|
+
run(_precheckContext, reporter) {
|
|
38
|
+
const ids = members.map((member) => member.id).join(", ");
|
|
39
|
+
reporter.reportRuleError({
|
|
40
|
+
rule: "role-preference",
|
|
41
|
+
message: `None of the targeted members (${ids}) have role "${roleId}". ` +
|
|
42
|
+
`Add "${roleId}" to their roleIds, or remove this preferRole rule.`,
|
|
43
|
+
context: { memberIds: members.map((member) => member.id) },
|
|
44
|
+
});
|
|
45
|
+
},
|
|
46
|
+
});
|
|
47
|
+
return { rule: "role-preference", artifacts };
|
|
48
|
+
}
|
|
49
|
+
const terms = membersWithRole.flatMap((member) => ctx.shiftPatterns.flatMap((pattern) => {
|
|
50
|
+
if (!canAssignMemberToPattern(member, pattern))
|
|
51
|
+
return [];
|
|
52
|
+
if (pattern.roleIds?.includes(roleId))
|
|
53
|
+
return [];
|
|
54
|
+
return ctx.days
|
|
55
|
+
.filter((day) => isPatternAvailableOnDay(pattern, day))
|
|
56
|
+
.map((day) => ({ var: assignmentVar(member.id, pattern.id, day.iso), coeff: weight }));
|
|
57
|
+
}));
|
|
58
|
+
artifacts.push({
|
|
59
|
+
kind: "objective",
|
|
60
|
+
terms,
|
|
61
|
+
validation: {
|
|
62
|
+
strategy: "skip",
|
|
63
|
+
category: "no-meaningful-feedback",
|
|
64
|
+
rationale: terms.length === 0
|
|
65
|
+
? `Role preference for "${roleId}" produced no objective terms.`
|
|
66
|
+
: "Preference rules influence the objective but do not emit validation feedback.",
|
|
67
|
+
},
|
|
68
|
+
});
|
|
69
|
+
return { rule: "role-preference", artifacts };
|
|
70
|
+
},
|
|
71
|
+
});
|
|
72
|
+
//# sourceMappingURL=role-preference.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"role-preference.js","sourceRoot":"","sources":["../../../src/cpsat/rules/role-preference.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AACzB,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAE7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACjD,OAAO,EACL,cAAc,EACd,WAAW,EACX,gBAAgB,EAChB,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,EAAE,wBAAwB,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AAE7F,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC;KAClC,MAAM,CAAC;IACN,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;IAClB,QAAQ,EAAE,cAAc;CACzB,CAAC;KACD,GAAG,CAAC,WAAW,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;AAOpD;;;;GAIG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,oBAAoB,CAAC;IAC/D,IAAI,EAAE,iBAAiB;IACvB,MAAM,EAAE,oBAAoB;IAC5B,OAAO,CAAC,MAAM,EAAE,GAAG;QACjB,MAAM,KAAK,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC;QAC1B,MAAM,MAAM,GAAG,kBAAkB,CAAC,MAAM,CAAC,QAA2C,CAAC,IAAI,CAAC,CAAC;QAC3F,IAAI,MAAM,KAAK,CAAC,EAAE,CAAC;YACjB,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;QACpD,CAAC;QAED,MAAM,OAAO,GAAG,uBAAuB,CAAC,KAAK,EAAE,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;QACjE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;QACpD,CAAC;QAED,MAAM,eAAe,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;QACpF,MAAM,SAAS,GAAmB,EAAE,CAAC;QAErC,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjC,SAAS,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,oBAAoB;gBAC1B,GAAG,CAAC,gBAAgB,EAAE,QAAQ;oBAC5B,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAC1D,QAAQ,CAAC,eAAe,CAAC;wBACvB,IAAI,EAAE,iBAAiB;wBACvB,OAAO,EACL,iCAAiC,GAAG,gBAAgB,MAAM,KAAK;4BAC/D,QAAQ,MAAM,qDAAqD;wBACrE,OAAO,EAAE,EAAE,SAAS,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;qBAC3D,CAAC,CAAC;gBACL,CAAC;aACF,CAAC,CAAC;YACH,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,SAAS,EAAE,CAAC;QAChD,CAAC;QAED,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAC/C,GAAG,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;YACpC,IAAI,CAAC,wBAAwB,CAAC,MAAM,EAAE,OAAO,CAAC;gBAAE,OAAO,EAAE,CAAC;YAC1D,IAAI,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC;gBAAE,OAAO,EAAE,CAAC;YACjD,OAAO,GAAG,CAAC,IAAI;iBACZ,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,uBAAuB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;iBACtD,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,aAAa,CAAC,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QAC3F,CAAC,CAAC,CACH,CAAC;QAEF,SAAS,CAAC,IAAI,CAAC;YACb,IAAI,EAAE,WAAW;YACjB,KAAK;YACL,UAAU,EAAE;gBACV,QAAQ,EAAE,MAAM;gBAChB,QAAQ,EAAE,wBAAwB;gBAClC,SAAS,EACP,KAAK,CAAC,MAAM,KAAK,CAAC;oBAChB,CAAC,CAAC,wBAAwB,MAAM,gCAAgC;oBAChE,CAAC,CAAC,+EAA+E;aACtF;SACF,CAAC,CAAC;QAEH,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,SAAS,EAAE,CAAC;IAChD,CAAC;CACF,CAAC,CAAC"}
|
|
@@ -1,9 +1,22 @@
|
|
|
1
|
-
import type {
|
|
2
|
-
|
|
3
|
-
|
|
1
|
+
import type { RuleDescriptor } from "../rule-descriptor.js";
|
|
2
|
+
/**
|
|
3
|
+
* Maps built-in CP-SAT rule names to their validated config types.
|
|
4
|
+
*
|
|
5
|
+
* @remarks
|
|
6
|
+
* Use this when you need the exact config shape for a known built-in rule.
|
|
7
|
+
* For registry-driven APIs, prefer `CpsatRuleRegistry`, `CpsatRuleConfigByName`,
|
|
8
|
+
* and `CpsatRuleConfigEntryFor`.
|
|
9
|
+
*
|
|
10
|
+
* @category Rules
|
|
11
|
+
*/
|
|
12
|
+
export interface BuiltInCpsatRuleConfigRegistry {
|
|
4
13
|
"assign-together": import("./assign-together.js").AssignTogetherConfig;
|
|
5
14
|
"assignment-priority": import("./assignment-priority.js").AssignmentPriorityConfig;
|
|
6
15
|
"location-preference": import("./location-preference.js").LocationPreferenceConfig;
|
|
16
|
+
"role-preference": import("./role-preference.js").RolePreferenceConfig;
|
|
17
|
+
"max-concurrent-assignments": import("./max-concurrent-assignments.js").MaxConcurrentAssignmentsConfig;
|
|
18
|
+
"target-peak-concurrent-assignments": import("./target-peak-concurrent-assignments.js").TargetPeakConcurrentAssignmentsConfig;
|
|
19
|
+
"target-days-week": import("./target-days-week.js").TargetDaysWeekConfig;
|
|
7
20
|
"max-consecutive-days": import("./max-consecutive-days.js").MaxConsecutiveDaysConfig;
|
|
8
21
|
"max-days-week": import("./max-days-week.js").MaxDaysWeekConfig;
|
|
9
22
|
"max-hours-day": import("./max-hours-day.js").MaxHoursDayConfig;
|
|
@@ -25,18 +38,80 @@ export interface CpsatRuleRegistry {
|
|
|
25
38
|
"overtime-daily-multiplier": import("./overtime-daily-multiplier.js").OvertimeDailyMultiplierConfig;
|
|
26
39
|
"overtime-daily-surcharge": import("./overtime-daily-surcharge.js").OvertimeDailySurchargeConfig;
|
|
27
40
|
"overtime-tiered-multiplier": import("./overtime-tiered-multiplier.js").OvertimeTieredMultiplierConfig;
|
|
41
|
+
"max-days-of-week-per-period": import("./max-days-of-week-per-period.js").MaxDaysOfWeekPerPeriodConfig;
|
|
42
|
+
"min-days-of-week-per-period": import("./min-days-of-week-per-period.js").MinDaysOfWeekPerPeriodConfig;
|
|
28
43
|
}
|
|
29
|
-
|
|
30
|
-
|
|
31
|
-
|
|
32
|
-
|
|
33
|
-
|
|
34
|
-
|
|
44
|
+
/**
|
|
45
|
+
* The union of all built-in CP-SAT rule names.
|
|
46
|
+
*
|
|
47
|
+
* @category Rules
|
|
48
|
+
*/
|
|
49
|
+
export type CpsatRuleName = keyof BuiltInCpsatRuleConfigRegistry;
|
|
50
|
+
/**
|
|
51
|
+
* A registry of CP-SAT rule descriptors keyed by rule name.
|
|
52
|
+
*
|
|
53
|
+
* @remarks
|
|
54
|
+
* The registry key must exactly match each descriptor's `name` field.
|
|
55
|
+
* Use `createCpsatRuleRegistry` to validate that invariant when building
|
|
56
|
+
* custom registries.
|
|
57
|
+
*
|
|
58
|
+
* @category Rules
|
|
59
|
+
*/
|
|
60
|
+
export type CpsatRuleRegistry = Record<string, RuleDescriptor<string, unknown>>;
|
|
61
|
+
/**
|
|
62
|
+
* The built-in CP-SAT rule registry shape.
|
|
63
|
+
*
|
|
64
|
+
* @category Rules
|
|
65
|
+
*/
|
|
66
|
+
export type BuiltInCpsatRuleRegistry = {
|
|
67
|
+
[K in CpsatRuleName]: RuleDescriptor<K, BuiltInCpsatRuleConfigRegistry[K]>;
|
|
35
68
|
};
|
|
36
|
-
|
|
37
|
-
|
|
38
|
-
|
|
69
|
+
/**
|
|
70
|
+
* Extracts the config type from a rule descriptor.
|
|
71
|
+
*
|
|
72
|
+
* @category Rules
|
|
73
|
+
*/
|
|
74
|
+
export type InferCpsatRuleConfig<T> = T extends RuleDescriptor<string, infer Config> ? Config : never;
|
|
75
|
+
/**
|
|
76
|
+
* Maps a rule registry to a name-to-config lookup type.
|
|
77
|
+
*
|
|
78
|
+
* @example
|
|
79
|
+
* ```ts
|
|
80
|
+
* type ConfigByName = CpsatRuleConfigByName<typeof builtInCpsatRuleRegistry>;
|
|
81
|
+
* // ^? { "max-hours-day": MaxHoursDayConfig; ... }
|
|
82
|
+
* ```
|
|
83
|
+
*
|
|
84
|
+
* @category Rules
|
|
85
|
+
*/
|
|
86
|
+
export type CpsatRuleConfigByName<Registry extends CpsatRuleRegistry> = {
|
|
87
|
+
[K in keyof Registry & string]: InferCpsatRuleConfig<Registry[K]>;
|
|
39
88
|
};
|
|
89
|
+
/**
|
|
90
|
+
* Builds the discriminated rule-entry union for a rule registry.
|
|
91
|
+
*
|
|
92
|
+
* @remarks
|
|
93
|
+
* This preserves the pairing between each `name` value and the config fields
|
|
94
|
+
* allowed for that rule.
|
|
95
|
+
*
|
|
96
|
+
* @category Rules
|
|
97
|
+
*/
|
|
98
|
+
export type CpsatRuleConfigEntryFor<Registry extends CpsatRuleRegistry> = {
|
|
99
|
+
[K in keyof Registry & string]: {
|
|
100
|
+
name: K;
|
|
101
|
+
} & InferCpsatRuleConfig<Registry[K]>;
|
|
102
|
+
}[keyof Registry & string];
|
|
103
|
+
/**
|
|
104
|
+
* A normalized rule entry with an unconstrained string rule name.
|
|
105
|
+
*
|
|
106
|
+
* @remarks
|
|
107
|
+
* This is used internally at points where the specific registry is no longer
|
|
108
|
+
* known at the type level.
|
|
109
|
+
*
|
|
110
|
+
* @category Rules
|
|
111
|
+
*/
|
|
112
|
+
export type AnyCpsatRuleConfigEntry = {
|
|
113
|
+
name: string;
|
|
114
|
+
} & Record<string, unknown>;
|
|
40
115
|
/**
|
|
41
116
|
* A named rule configuration entry.
|
|
42
117
|
*
|
|
@@ -52,10 +127,8 @@ export type CpsatRuleRegistryFromFactories<F extends CpsatRuleFactories> = {
|
|
|
52
127
|
* { name: "time-off", memberIds: ["alice"], dayOfWeek: ["monday"], priority: "MANDATORY" },
|
|
53
128
|
* ];
|
|
54
129
|
* ```
|
|
130
|
+
*
|
|
131
|
+
* @category Rules
|
|
55
132
|
*/
|
|
56
|
-
export type CpsatRuleConfigEntry =
|
|
57
|
-
[K in CpsatRuleName]: {
|
|
58
|
-
name: K;
|
|
59
|
-
} & CpsatRuleRegistry[K];
|
|
60
|
-
}[CpsatRuleName];
|
|
133
|
+
export type CpsatRuleConfigEntry<Registry extends CpsatRuleRegistry = BuiltInCpsatRuleRegistry> = CpsatRuleConfigEntryFor<Registry>;
|
|
61
134
|
//# sourceMappingURL=rules.types.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"rules.types.d.ts","sourceRoot":"","sources":["../../../src/cpsat/rules/rules.types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,
|
|
1
|
+
{"version":3,"file":"rules.types.d.ts","sourceRoot":"","sources":["../../../src/cpsat/rules/rules.types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAE5D;;;;;;;;;GASG;AACH,MAAM,WAAW,8BAA8B;IAC7C,iBAAiB,EAAE,OAAO,sBAAsB,EAAE,oBAAoB,CAAC;IACvE,qBAAqB,EAAE,OAAO,0BAA0B,EAAE,wBAAwB,CAAC;IACnF,qBAAqB,EAAE,OAAO,0BAA0B,EAAE,wBAAwB,CAAC;IACnF,iBAAiB,EAAE,OAAO,sBAAsB,EAAE,oBAAoB,CAAC;IACvE,4BAA4B,EAAE,OAAO,iCAAiC,EAAE,8BAA8B,CAAC;IACvG,oCAAoC,EAAE,OAAO,yCAAyC,EAAE,qCAAqC,CAAC;IAC9H,kBAAkB,EAAE,OAAO,uBAAuB,EAAE,oBAAoB,CAAC;IACzE,sBAAsB,EAAE,OAAO,2BAA2B,EAAE,wBAAwB,CAAC;IACrF,eAAe,EAAE,OAAO,oBAAoB,EAAE,iBAAiB,CAAC;IAChE,eAAe,EAAE,OAAO,oBAAoB,EAAE,iBAAiB,CAAC;IAChE,gBAAgB,EAAE,OAAO,qBAAqB,EAAE,kBAAkB,CAAC;IACnE,gBAAgB,EAAE,OAAO,qBAAqB,EAAE,kBAAkB,CAAC;IACnE,sBAAsB,EAAE,OAAO,2BAA2B,EAAE,wBAAwB,CAAC;IACrF,eAAe,EAAE,OAAO,oBAAoB,EAAE,iBAAiB,CAAC;IAChE,eAAe,EAAE,OAAO,oBAAoB,EAAE,iBAAiB,CAAC;IAChE,gBAAgB,EAAE,OAAO,qBAAqB,EAAE,kBAAkB,CAAC;IACnE,yBAAyB,EAAE,OAAO,8BAA8B,EAAE,0BAA0B,CAAC;IAC7F,aAAa,EAAE,OAAO,kBAAkB,EAAE,gBAAgB,CAAC;IAC3D,UAAU,EAAE,OAAO,eAAe,EAAE,aAAa,CAAC;IAClD,eAAe,EAAE,OAAO,oBAAoB,EAAE,kBAAkB,CAAC;IACjE,qBAAqB,EAAE,OAAO,0BAA0B,EAAE,uBAAuB,CAAC;IAClF,oBAAoB,EAAE,OAAO,yBAAyB,EAAE,sBAAsB,CAAC;IAC/E,qBAAqB,EAAE,OAAO,0BAA0B,EAAE,uBAAuB,CAAC;IAClF,4BAA4B,EAAE,OAAO,iCAAiC,EAAE,8BAA8B,CAAC;IACvG,2BAA2B,EAAE,OAAO,gCAAgC,EAAE,6BAA6B,CAAC;IACpG,2BAA2B,EAAE,OAAO,gCAAgC,EAAE,6BAA6B,CAAC;IACpG,0BAA0B,EAAE,OAAO,+BAA+B,EAAE,4BAA4B,CAAC;IACjG,4BAA4B,EAAE,OAAO,iCAAiC,EAAE,8BAA8B,CAAC;IACvG,6BAA6B,EAAE,OAAO,kCAAkC,EAAE,4BAA4B,CAAC;IACvG,6BAA6B,EAAE,OAAO,kCAAkC,EAAE,4BAA4B,CAAC;CACxG;AAED;;;;GAIG;AACH,MAAM,MAAM,aAAa,GAAG,MAAM,8BAA8B,CAAC;AAEjE;;;;;;;;;GASG;AACH,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAEhF;;;;GAIG;AACH,MAAM,MAAM,wBAAwB,GAAG;KACpC,CAAC,IAAI,aAAa,GAAG,cAAc,CAAC,CAAC,EAAE,8BAA8B,CAAC,CAAC,CAAC,CAAC;CAC3E,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,oBAAoB,CAAC,CAAC,IAChC,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,MAAM,MAAM,CAAC,GAAG,MAAM,GAAG,KAAK,CAAC;AAElE;;;;;;;;;;GAUG;AACH,MAAM,MAAM,qBAAqB,CAAC,QAAQ,SAAS,iBAAiB,IAAI;KACrE,CAAC,IAAI,MAAM,QAAQ,GAAG,MAAM,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;CAClE,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,MAAM,uBAAuB,CAAC,QAAQ,SAAS,iBAAiB,IAAI;KACvE,CAAC,IAAI,MAAM,QAAQ,GAAG,MAAM,GAAG;QAAE,IAAI,EAAE,CAAC,CAAA;KAAE,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;CAChF,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC;AAE3B;;;;;;;;GAQG;AACH,MAAM,MAAM,uBAAuB,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAEjF;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,oBAAoB,CAAC,QAAQ,SAAS,iBAAiB,GAAG,wBAAwB,IAC5F,uBAAuB,CAAC,QAAQ,CAAC,CAAC"}
|
|
@@ -33,8 +33,8 @@
|
|
|
33
33
|
* ```
|
|
34
34
|
*/
|
|
35
35
|
import * as z from "zod";
|
|
36
|
-
import { type DayOfWeek } from "../../types.js";
|
|
37
|
-
import type
|
|
36
|
+
import { type DateString, type DayOfWeek, type SchedulingDay } from "../../types.js";
|
|
37
|
+
import { type SchedulingMember } from "../types.js";
|
|
38
38
|
import { type ValidationGroup } from "../validation.types.js";
|
|
39
39
|
/**
|
|
40
40
|
* Zod schema for rule priority with a default of `"MANDATORY"`.
|
|
@@ -42,7 +42,20 @@ import { type ValidationGroup } from "../validation.types.js";
|
|
|
42
42
|
* Rules that use priority should include this in their schema so the
|
|
43
43
|
* default is co-located with the rule system, not injected externally.
|
|
44
44
|
*/
|
|
45
|
-
export declare const PrioritySchema: z.ZodDefault<z.
|
|
45
|
+
export declare const PrioritySchema: z.ZodDefault<z.ZodEnum<{
|
|
46
|
+
LOW: "LOW";
|
|
47
|
+
MEDIUM: "MEDIUM";
|
|
48
|
+
HIGH: "HIGH";
|
|
49
|
+
MANDATORY: "MANDATORY";
|
|
50
|
+
}>>;
|
|
51
|
+
/**
|
|
52
|
+
* Zod schema for soft-only priorities.
|
|
53
|
+
*/
|
|
54
|
+
export declare const SoftPrioritySchema: z.ZodEnum<{
|
|
55
|
+
LOW: "LOW";
|
|
56
|
+
MEDIUM: "MEDIUM";
|
|
57
|
+
HIGH: "HIGH";
|
|
58
|
+
}>;
|
|
46
59
|
export type EntityKey = "members" | "roles" | "skills";
|
|
47
60
|
export type TimeKey = "dateRange" | "specificDates" | "dayOfWeek" | "recurring";
|
|
48
61
|
/**
|
|
@@ -94,12 +107,12 @@ export interface RecurringPeriod {
|
|
|
94
107
|
type ActiveTimeFields = {
|
|
95
108
|
dateRange: {
|
|
96
109
|
dateRange: {
|
|
97
|
-
start:
|
|
98
|
-
end:
|
|
110
|
+
start: DateString;
|
|
111
|
+
end: DateString;
|
|
99
112
|
};
|
|
100
113
|
};
|
|
101
114
|
specificDates: {
|
|
102
|
-
specificDates: NonEmptyArray<
|
|
115
|
+
specificDates: NonEmptyArray<DateString>;
|
|
103
116
|
};
|
|
104
117
|
dayOfWeek: {
|
|
105
118
|
dayOfWeek: NonEmptyArray<DayOfWeek>;
|
|
@@ -233,7 +246,7 @@ export type ParsedTimeScope = {
|
|
|
233
246
|
end: string;
|
|
234
247
|
} | {
|
|
235
248
|
type: "specificDates";
|
|
236
|
-
dates:
|
|
249
|
+
dates: DateString[];
|
|
237
250
|
} | {
|
|
238
251
|
type: "dayOfWeek";
|
|
239
252
|
days: DayOfWeek[];
|
|
@@ -251,10 +264,10 @@ export interface EntityScopeInput {
|
|
|
251
264
|
/** Input shape accepted by {@link parseTimeScope}. */
|
|
252
265
|
export interface TimeScopeInput {
|
|
253
266
|
dateRange?: {
|
|
254
|
-
start:
|
|
255
|
-
end:
|
|
267
|
+
start: DateString;
|
|
268
|
+
end: DateString;
|
|
256
269
|
};
|
|
257
|
-
specificDates?:
|
|
270
|
+
specificDates?: DateString[];
|
|
258
271
|
dayOfWeek?: DayOfWeek[];
|
|
259
272
|
recurringPeriods?: RecurringPeriod[];
|
|
260
273
|
[key: string]: unknown;
|
|
@@ -274,7 +287,7 @@ export declare function resolveMembersFromScope(scope: ParsedEntityScope, member
|
|
|
274
287
|
/**
|
|
275
288
|
* Resolves which days a rule applies to based on time scope.
|
|
276
289
|
*/
|
|
277
|
-
export declare function resolveActiveDaysFromScope(scope: ParsedTimeScope, allDays:
|
|
290
|
+
export declare function resolveActiveDaysFromScope(scope: ParsedTimeScope, allDays: SchedulingDay[]): SchedulingDay[];
|
|
278
291
|
/**
|
|
279
292
|
* Creates a validation group for a rule with a deterministic structural key.
|
|
280
293
|
*
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"scope.types.d.ts","sourceRoot":"","sources":["../../../src/cpsat/rules/scope.types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AACzB,OAAO,
|
|
1
|
+
{"version":3,"file":"scope.types.d.ts","sourceRoot":"","sources":["../../../src/cpsat/rules/scope.types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AACzB,OAAO,EAEL,KAAK,UAAU,EACf,KAAK,SAAS,EACd,KAAK,aAAa,EACnB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAyC,KAAK,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAC3F,OAAO,EAAyB,KAAK,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAMrF;;;;;GAKG;AACH,eAAO,MAAM,cAAc;;;;;GAA+C,CAAC;AAE3E;;GAEG;AACH,eAAO,MAAM,kBAAkB;;;;EAA+B,CAAC;AAM/D,MAAM,MAAM,SAAS,GAAG,SAAS,GAAG,OAAO,GAAG,QAAQ,CAAC;AACvD,MAAM,MAAM,OAAO,GAAG,WAAW,GAAG,eAAe,GAAG,WAAW,GAAG,WAAW,CAAC;AAMhF;;;GAGG;AACH,KAAK,kBAAkB,GAAG;IACxB,OAAO,EAAE;QAAE,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;KAAE,CAAC;IAC9C,KAAK,EAAE;QAAE,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;KAAE,CAAC;IAC1C,MAAM,EAAE;QAAE,QAAQ,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;KAAE,CAAC;CAC7C,CAAC;AAEF;;;GAGG;AACH,KAAK,oBAAoB,GAAG;IAC1B,OAAO,EAAE;QAAE,SAAS,CAAC,EAAE,KAAK,CAAA;KAAE,CAAC;IAC/B,KAAK,EAAE;QAAE,OAAO,CAAC,EAAE,KAAK,CAAA;KAAE,CAAC;IAC3B,MAAM,EAAE;QAAE,QAAQ,CAAC,EAAE,KAAK,CAAA;KAAE,CAAC;CAC9B,CAAC;AAEF,KAAK,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;AAEpC;;;;GAIG;AACH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,KAAK,gBAAgB,GAAG;IACtB,SAAS,EAAE;QAAE,SAAS,EAAE;YAAE,KAAK,EAAE,UAAU,CAAC;YAAC,GAAG,EAAE,UAAU,CAAA;SAAE,CAAA;KAAE,CAAC;IACjE,aAAa,EAAE;QAAE,aAAa,EAAE,aAAa,CAAC,UAAU,CAAC,CAAA;KAAE,CAAC;IAC5D,SAAS,EAAE;QAAE,SAAS,EAAE,aAAa,CAAC,SAAS,CAAC,CAAA;KAAE,CAAC;IACnD,SAAS,EAAE;QAAE,gBAAgB,EAAE,aAAa,CAAC,eAAe,CAAC,CAAA;KAAE,CAAC;CACjE,CAAC;AAEF;;GAEG;AACH,KAAK,kBAAkB,GAAG;IACxB,SAAS,EAAE;QAAE,SAAS,CAAC,EAAE,KAAK,CAAA;KAAE,CAAC;IACjC,aAAa,EAAE;QAAE,aAAa,CAAC,EAAE,KAAK,CAAA;KAAE,CAAC;IACzC,SAAS,EAAE;QAAE,SAAS,CAAC,EAAE,KAAK,CAAA;KAAE,CAAC;IACjC,SAAS,EAAE;QAAE,gBAAgB,CAAC,EAAE,KAAK,CAAA;KAAE,CAAC;CACzC,CAAC;AAMF;;;;;GAKG;AACH,KAAK,WAAW,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI;CAAE,SAAS;KACjE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI;CACrC,GACG,CAAC,GACD,KAAK,CAAC;AAEV;;;;;;;;;GASG;AACH,MAAM,MAAM,YAAY,CACtB,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EACrC,QAAQ,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EACvC,IAAI,SAAS,MAAM,MAAM,GAAG,MAAM,QAAQ,IACxC;KACD,CAAC,IAAI,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;CACvE,CAAC,IAAI,CAAC,CAAC;AAER;;;GAGG;AACH,MAAM,MAAM,QAAQ,CAClB,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EACrC,QAAQ,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EACvC,IAAI,SAAS,MAAM,MAAM,GAAG,MAAM,QAAQ,IACxC,YAAY,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;AAM7E,mEAAmE;AACnE,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,SAAS,IAAI,QAAQ,CACzD,kBAAkB,EAClB,oBAAoB,EACpB,CAAC,CACF,CAAC;AAEF,yEAAyE;AACzE,MAAM,MAAM,qBAAqB,CAAC,CAAC,SAAS,OAAO,IAAI,QAAQ,CAC7D,gBAAgB,EAChB,kBAAkB,EAClB,CAAC,CACF,CAAC;AAEF,yEAAyE;AACzE,MAAM,MAAM,qBAAqB,CAAC,CAAC,SAAS,OAAO,IAAI,YAAY,CACjE,gBAAgB,EAChB,kBAAkB,EAClB,CAAC,CACF,CAAC;AAuDF;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,WAAW,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,SAAS,EAAE,EAC9D,IAAI,EAAE,CAAC,GACN,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CA0BvC;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,SAAS,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,EAC1D,IAAI,EAAE,CAAC,GACN,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CA4B7C;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,EAClE,IAAI,EAAE,CAAC,GACN,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAoC7C;AAMD;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GACzB;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,SAAS,EAAE,MAAM,EAAE,CAAA;CAAE,GACxC;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAA;CAAE,GACpC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC;AAE3C;;;GAGG;AACH,MAAM,MAAM,eAAe,GACvB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GACjD;IAAE,IAAI,EAAE,eAAe,CAAC;IAAC,KAAK,EAAE,UAAU,EAAE,CAAA;CAAE,GAC9C;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,SAAS,EAAE,CAAA;CAAE,GACxC;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,OAAO,EAAE,eAAe,EAAE,CAAA;CAAE,CAAC;AAEtD,wDAAwD;AACxD,MAAM,WAAW,gBAAgB;IAC/B,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED,sDAAsD;AACtD,MAAM,WAAW,cAAc;IAC7B,SAAS,CAAC,EAAE;QAAE,KAAK,EAAE,UAAU,CAAC;QAAC,GAAG,EAAE,UAAU,CAAA;KAAE,CAAC;IACnD,aAAa,CAAC,EAAE,UAAU,EAAE,CAAC;IAC7B,SAAS,CAAC,EAAE,SAAS,EAAE,CAAC;IACxB,gBAAgB,CAAC,EAAE,eAAe,EAAE,CAAC;IACrC,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,gBAAgB,GAAG,iBAAiB,CAW5E;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,cAAc,GAAG,eAAe,CActE;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,iBAAiB,EACxB,OAAO,EAAE,gBAAgB,EAAE,GAC1B,gBAAgB,EAAE,CAcpB;AAED;;GAEG;AACH,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,eAAe,EACtB,OAAO,EAAE,aAAa,EAAE,GACvB,aAAa,EAAE,CAmBjB;AA0BD;;;;;;;;;;GAUG;AACH,wBAAgB,SAAS,CACvB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,iBAAiB,EACzB,IAAI,CAAC,EAAE,eAAe,GACrB,eAAe,CA6CjB"}
|
|
@@ -33,9 +33,8 @@
|
|
|
33
33
|
* ```
|
|
34
34
|
*/
|
|
35
35
|
import * as z from "zod";
|
|
36
|
-
import { DayOfWeekSchema } from "../../types.js";
|
|
37
|
-
import {
|
|
38
|
-
import { parseDayString } from "../utils.js";
|
|
36
|
+
import { DayOfWeekSchema, } from "../../types.js";
|
|
37
|
+
import { PRIORITY_VALUES, SOFT_PRIORITY_VALUES } from "../types.js";
|
|
39
38
|
import { assertSafeKeySegments } from "../validation.types.js";
|
|
40
39
|
// ============================================================================
|
|
41
40
|
// Priority
|
|
@@ -46,9 +45,11 @@ import { assertSafeKeySegments } from "../validation.types.js";
|
|
|
46
45
|
* Rules that use priority should include this in their schema so the
|
|
47
46
|
* default is co-located with the rule system, not injected externally.
|
|
48
47
|
*/
|
|
49
|
-
export const PrioritySchema = z
|
|
50
|
-
|
|
51
|
-
|
|
48
|
+
export const PrioritySchema = z.enum(PRIORITY_VALUES).default("MANDATORY");
|
|
49
|
+
/**
|
|
50
|
+
* Zod schema for soft-only priorities.
|
|
51
|
+
*/
|
|
52
|
+
export const SoftPrioritySchema = z.enum(SOFT_PRIORITY_VALUES);
|
|
52
53
|
// ============================================================================
|
|
53
54
|
// Zod Schemas for Individual Fields
|
|
54
55
|
// ============================================================================
|
|
@@ -283,23 +284,17 @@ export function resolveActiveDaysFromScope(scope, allDays) {
|
|
|
283
284
|
case "none":
|
|
284
285
|
return allDays;
|
|
285
286
|
case "dateRange":
|
|
286
|
-
return allDays.filter((day) => day >= scope.start && day <= scope.end);
|
|
287
|
-
case "specificDates":
|
|
288
|
-
|
|
287
|
+
return allDays.filter((day) => day.iso >= scope.start && day.iso <= scope.end);
|
|
288
|
+
case "specificDates": {
|
|
289
|
+
const dateSet = new Set(scope.dates);
|
|
290
|
+
return allDays.filter((day) => dateSet.has(day.iso));
|
|
291
|
+
}
|
|
289
292
|
case "dayOfWeek": {
|
|
290
293
|
const targetDays = new Set(scope.days);
|
|
291
|
-
return allDays.filter((day) =>
|
|
292
|
-
const date = parseDayString(day);
|
|
293
|
-
return targetDays.has(toDayOfWeekUTC(date));
|
|
294
|
-
});
|
|
294
|
+
return allDays.filter((day) => targetDays.has(day.dayOfWeek));
|
|
295
295
|
}
|
|
296
296
|
case "recurring":
|
|
297
|
-
return allDays.filter((day) =>
|
|
298
|
-
const date = parseDayString(day);
|
|
299
|
-
const month = date.getUTCMonth() + 1;
|
|
300
|
-
const dayOfMonth = date.getUTCDate();
|
|
301
|
-
return scope.periods.some((period) => isDateInRecurringPeriod(month, dayOfMonth, period));
|
|
302
|
-
});
|
|
297
|
+
return allDays.filter((day) => scope.periods.some((period) => isDateInRecurringPeriod(day.month, day.dayOfMonth, period)));
|
|
303
298
|
}
|
|
304
299
|
}
|
|
305
300
|
// ============================================================================
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"scope.types.js","sourceRoot":"","sources":["../../../src/cpsat/rules/scope.types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AACzB,OAAO,EAAE,eAAe,EAAkB,MAAM,gBAAgB,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAEzD,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,EAAE,qBAAqB,EAAwB,MAAM,wBAAwB,CAAC;AAErF,+EAA+E;AAC/E,WAAW;AACX,+EAA+E;AAE/E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC;KAC5B,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;KACzF,OAAO,CAAC,WAAW,CAAC,CAAC;AAyIxB,+EAA+E;AAC/E,oCAAoC;AACpC,+EAA+E;AAE/E,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IACrC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;CACnB,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG;IACzB,OAAO,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE,EAAE;IACtD,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE,EAAE;IAClD,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE,EAAE;CAC5C,CAAC;AAEX,MAAM,gBAAgB,GAAG;IACvB,SAAS,EAAE;QACT,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC;YAClB,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE;YACnB,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE;SAClB,CAAC;KACH;IACD,aAAa,EAAE,EAAE,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,EAAE;IAClE,SAAS,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,QAAQ,EAAE,EAAE;IAC7D,SAAS,EAAE,EAAE,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC,QAAQ,EAAE,EAAE;CAClE,CAAC;AAEX,6CAA6C;AAC7C,MAAM,gBAAgB,GAAG;IACvB,OAAO,EAAE,WAAW;IACpB,KAAK,EAAE,SAAS;IAChB,MAAM,EAAE,UAAU;CACV,CAAC;AAIX,2CAA2C;AAC3C,MAAM,cAAc,GAAG;IACrB,SAAS,EAAE,WAAW;IACtB,aAAa,EAAE,eAAe;IAC9B,SAAS,EAAE,WAAW;IACtB,SAAS,EAAE,kBAAkB;CACrB,CAAC;AAIX,+EAA+E;AAC/E,0BAA0B;AAC1B,+EAA+E;AAE/E;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,WAAW,CACzB,IAAO;IAEP,MAAM,KAAK,GAAiC,EAAE,CAAC;IAC/C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,KAAK,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAC/E,KAAK,CAAC,SAAS,CAAC,GAAI,WAA4B,CAAC,QAAQ,EAAE,CAAC;QAC9D,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE;QAC/C,MAAM,MAAM,GAAG,OAAO,CAAC,KAAyC,CAAC;QACjE,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE;YACvC,MAAM,SAAS,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;YACxC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;YAChC,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;QACH,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACtE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC;gBAClB,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,eAAe,cAAc,aAAa;gBACnD,KAAK,EAAE,OAAO,CAAC,KAAK;aACrB,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,OAAO,MAA0D,CAAC;AACpE,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,SAAS,CACvB,IAAO;IAEP,MAAM,KAAK,GAAiC,EAAE,CAAC;IAC/C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,KAAK,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAC7E,KAAK,CAAC,SAAS,CAAC,GAAI,WAA4B,CAAC,QAAQ,EAAE,CAAC;QAC9D,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE;QAC/C,MAAM,MAAM,GAAG,OAAO,CAAC,KAAuC,CAAC;QAC/D,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE;YACvC,MAAM,SAAS,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;YACtC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;YAChC,IAAI,CAAC,KAAK;gBAAE,OAAO,KAAK,CAAC;YACzB,IAAI,SAAS,KAAK,WAAW;gBAAE,OAAO,IAAI,CAAC;YAC3C,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;QACH,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACpE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC;gBAClB,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,eAAe,cAAc,aAAa;gBACnD,KAAK,EAAE,OAAO,CAAC,KAAK;aACrB,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,OAAO,MAAgE,CAAC;AAC1E,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,iBAAiB,CAC/B,IAAO;IAEP,MAAM,KAAK,GAAiC,EAAE,CAAC;IAC/C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,KAAK,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAC7E,KAAK,CAAC,SAAS,CAAC,GAAI,WAA4B,CAAC,QAAQ,EAAE,CAAC;QAC9D,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE;QAC/C,MAAM,MAAM,GAAG,OAAO,CAAC,KAAuC,CAAC;QAC/D,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE;YACvC,MAAM,SAAS,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;YACtC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;YAChC,IAAI,CAAC,KAAK;gBAAE,OAAO,KAAK,CAAC;YACzB,IAAI,SAAS,KAAK,WAAW;gBAAE,OAAO,IAAI,CAAC;YAC3C,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;QACH,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC;gBAClB,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,8BAA8B,cAAc,GAAG;gBACxD,KAAK,EAAE,OAAO,CAAC,KAAK;aACrB,CAAC,CAAC;QACL,CAAC;QACD,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACpE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC;gBAClB,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,eAAe,cAAc,aAAa;gBACnD,KAAK,EAAE,OAAO,CAAC,KAAK;aACrB,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,OAAO,MAAgE,CAAC;AAC1E,CAAC;AA4CD;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAwB;IACvD,IAAI,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC;IAC1D,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;IACpD,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC;IACvD,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAC5B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,MAAsB;IACnD,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACrB,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC;IACzF,CAAC;IACD,IAAI,MAAM,CAAC,aAAa,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5D,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC;IAChE,CAAC;IACD,IAAI,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC;IACvD,CAAC;IACD,IAAI,MAAM,CAAC,gBAAgB,IAAI,MAAM,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC;IACjE,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC1B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,uBAAuB,CACrC,KAAwB,EACxB,OAA2B;IAE3B,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACvC,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChD,CAAC;QACD,KAAK,OAAO;YACV,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjF,KAAK,QAAQ;YACX,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpF,KAAK,QAAQ,CAAC;QACd;YACE,OAAO,OAAO,CAAC;IACnB,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,0BAA0B,CAAC,KAAsB,EAAE,OAAiB;IAClF,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,MAAM;YACT,OAAO,OAAO,CAAC;QACjB,KAAK,WAAW;YACd,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,IAAI,KAAK,CAAC,KAAK,IAAI,GAAG,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC;QACzE,KAAK,eAAe;YAClB,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5D,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACvC,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE;gBAC5B,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;gBACjC,OAAO,UAAU,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;YAC9C,CAAC,CAAC,CAAC;QACL,CAAC;QACD,KAAK,WAAW;YACd,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE;gBAC5B,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;gBACjC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;gBACrC,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;gBACrC,OAAO,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,uBAAuB,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;YAC5F,CAAC,CAAC,CAAC;IACP,CAAC;AACH,CAAC;AAED,+EAA+E;AAC/E,mBAAmB;AACnB,+EAA+E;AAE/E,SAAS,uBAAuB,CAC9B,KAAa,EACb,UAAkB,EAClB,MAAuB;IAEvB,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC;IAE1D,IAAI,UAAU,IAAI,QAAQ,EAAE,CAAC;QAC3B,IAAI,KAAK,GAAG,UAAU,IAAI,KAAK,GAAG,QAAQ;YAAE,OAAO,KAAK,CAAC;QACzD,IAAI,KAAK,KAAK,UAAU,IAAI,UAAU,GAAG,QAAQ;YAAE,OAAO,KAAK,CAAC;QAChE,IAAI,KAAK,KAAK,QAAQ,IAAI,UAAU,GAAG,MAAM;YAAE,OAAO,KAAK,CAAC;QAC5D,OAAO,IAAI,CAAC;IACd,CAAC;SAAM,CAAC;QACN,IAAI,KAAK,GAAG,QAAQ,IAAI,KAAK,GAAG,UAAU;YAAE,OAAO,KAAK,CAAC;QACzD,IAAI,KAAK,KAAK,UAAU,IAAI,UAAU,GAAG,QAAQ;YAAE,OAAO,KAAK,CAAC;QAChE,IAAI,KAAK,KAAK,QAAQ,IAAI,UAAU,GAAG,MAAM;YAAE,OAAO,KAAK,CAAC;QAC5D,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,SAAS,CACvB,IAAY,EACZ,KAAa,EACb,MAAyB,EACzB,IAAsB;IAEtB,IAAI,GAAG,GAAG,QAAQ,IAAI,EAAE,CAAC;IAEzB,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,QAAQ;YACX,MAAM;QACR,KAAK,SAAS;YACZ,qBAAqB,CAAC,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;YACrD,GAAG,IAAI,YAAY,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3D,MAAM;QACR,KAAK,OAAO;YACV,qBAAqB,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;YACjD,GAAG,IAAI,UAAU,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACvD,MAAM;QACR,KAAK,QAAQ;YACX,qBAAqB,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;YACnD,GAAG,IAAI,WAAW,MAAM,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACzD,MAAM;IACV,CAAC;IAED,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACjC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,WAAW;gBACd,GAAG,IAAI,UAAU,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC3C,MAAM;YACR,KAAK,eAAe;gBAClB,GAAG,IAAI,UAAU,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnD,MAAM;YACR,KAAK,WAAW;gBACd,GAAG,IAAI,QAAQ,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBAChD,MAAM;YACR,KAAK,WAAW;gBACd,qBAAqB,CACnB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAC/B,uBAAuB,CACxB,CAAC;gBACF,GAAG,IAAI,cAAc,IAAI,CAAC,OAAO;qBAC9B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;qBAClB,QAAQ,EAAE;qBACV,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACf,MAAM;QACV,CAAC;IACH,CAAC;IAED,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;AACxB,CAAC"}
|
|
1
|
+
{"version":3,"file":"scope.types.js","sourceRoot":"","sources":["../../../src/cpsat/rules/scope.types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AACzB,OAAO,EACL,eAAe,GAIhB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAyB,MAAM,aAAa,CAAC;AAC3F,OAAO,EAAE,qBAAqB,EAAwB,MAAM,wBAAwB,CAAC;AAErF,+EAA+E;AAC/E,WAAW;AACX,+EAA+E;AAE/E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;AAE3E;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;AAyI/D,+EAA+E;AAC/E,oCAAoC;AACpC,+EAA+E;AAE/E,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IACrC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;CACnB,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG;IACzB,OAAO,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE,EAAE;IACtD,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE,EAAE;IAClD,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE,EAAE;CAC5C,CAAC;AAEX,MAAM,gBAAgB,GAAG;IACvB,SAAS,EAAE;QACT,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC;YAClB,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE;YACnB,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE;SAClB,CAAC;KACH;IACD,aAAa,EAAE,EAAE,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,EAAE;IAClE,SAAS,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,QAAQ,EAAE,EAAE;IAC7D,SAAS,EAAE,EAAE,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC,QAAQ,EAAE,EAAE;CAClE,CAAC;AAEX,6CAA6C;AAC7C,MAAM,gBAAgB,GAAG;IACvB,OAAO,EAAE,WAAW;IACpB,KAAK,EAAE,SAAS;IAChB,MAAM,EAAE,UAAU;CACV,CAAC;AAIX,2CAA2C;AAC3C,MAAM,cAAc,GAAG;IACrB,SAAS,EAAE,WAAW;IACtB,aAAa,EAAE,eAAe;IAC9B,SAAS,EAAE,WAAW;IACtB,SAAS,EAAE,kBAAkB;CACrB,CAAC;AAIX,+EAA+E;AAC/E,0BAA0B;AAC1B,+EAA+E;AAE/E;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,WAAW,CACzB,IAAO;IAEP,MAAM,KAAK,GAAiC,EAAE,CAAC;IAC/C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,KAAK,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAC/E,KAAK,CAAC,SAAS,CAAC,GAAI,WAA4B,CAAC,QAAQ,EAAE,CAAC;QAC9D,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE;QAC/C,MAAM,MAAM,GAAG,OAAO,CAAC,KAAyC,CAAC;QACjE,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE;YACvC,MAAM,SAAS,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;YACxC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;YAChC,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;QACH,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACtE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC;gBAClB,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,eAAe,cAAc,aAAa;gBACnD,KAAK,EAAE,OAAO,CAAC,KAAK;aACrB,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,OAAO,MAA0D,CAAC;AACpE,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,SAAS,CACvB,IAAO;IAEP,MAAM,KAAK,GAAiC,EAAE,CAAC;IAC/C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,KAAK,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAC7E,KAAK,CAAC,SAAS,CAAC,GAAI,WAA4B,CAAC,QAAQ,EAAE,CAAC;QAC9D,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE;QAC/C,MAAM,MAAM,GAAG,OAAO,CAAC,KAAuC,CAAC;QAC/D,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE;YACvC,MAAM,SAAS,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;YACtC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;YAChC,IAAI,CAAC,KAAK;gBAAE,OAAO,KAAK,CAAC;YACzB,IAAI,SAAS,KAAK,WAAW;gBAAE,OAAO,IAAI,CAAC;YAC3C,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;QACH,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACpE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC;gBAClB,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,eAAe,cAAc,aAAa;gBACnD,KAAK,EAAE,OAAO,CAAC,KAAK;aACrB,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,OAAO,MAAgE,CAAC;AAC1E,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,iBAAiB,CAC/B,IAAO;IAEP,MAAM,KAAK,GAAiC,EAAE,CAAC;IAC/C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,KAAK,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAC7E,KAAK,CAAC,SAAS,CAAC,GAAI,WAA4B,CAAC,QAAQ,EAAE,CAAC;QAC9D,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE;QAC/C,MAAM,MAAM,GAAG,OAAO,CAAC,KAAuC,CAAC;QAC/D,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE;YACvC,MAAM,SAAS,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;YACtC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;YAChC,IAAI,CAAC,KAAK;gBAAE,OAAO,KAAK,CAAC;YACzB,IAAI,SAAS,KAAK,WAAW;gBAAE,OAAO,IAAI,CAAC;YAC3C,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;QACH,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC;gBAClB,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,8BAA8B,cAAc,GAAG;gBACxD,KAAK,EAAE,OAAO,CAAC,KAAK;aACrB,CAAC,CAAC;QACL,CAAC;QACD,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACpE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC;gBAClB,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,eAAe,cAAc,aAAa;gBACnD,KAAK,EAAE,OAAO,CAAC,KAAK;aACrB,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,OAAO,MAAgE,CAAC;AAC1E,CAAC;AA4CD;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAwB;IACvD,IAAI,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC;IAC1D,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;IACpD,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC;IACvD,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAC5B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,MAAsB;IACnD,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACrB,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC;IACzF,CAAC;IACD,IAAI,MAAM,CAAC,aAAa,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5D,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC;IAChE,CAAC;IACD,IAAI,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC;IACvD,CAAC;IACD,IAAI,MAAM,CAAC,gBAAgB,IAAI,MAAM,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC;IACjE,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC1B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,uBAAuB,CACrC,KAAwB,EACxB,OAA2B;IAE3B,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACvC,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChD,CAAC;QACD,KAAK,OAAO;YACV,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjF,KAAK,QAAQ;YACX,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpF,KAAK,QAAQ,CAAC;QACd;YACE,OAAO,OAAO,CAAC;IACnB,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,0BAA0B,CACxC,KAAsB,EACtB,OAAwB;IAExB,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,MAAM;YACT,OAAO,OAAO,CAAC;QACjB,KAAK,WAAW;YACd,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,IAAI,KAAK,CAAC,KAAK,IAAI,GAAG,CAAC,GAAG,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC;QACjF,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACrC,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACvD,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACvC,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;QAChE,CAAC;QACD,KAAK,WAAW;YACd,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAC5B,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,uBAAuB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAC3F,CAAC;IACN,CAAC;AACH,CAAC;AAED,+EAA+E;AAC/E,mBAAmB;AACnB,+EAA+E;AAE/E,SAAS,uBAAuB,CAC9B,KAAa,EACb,UAAkB,EAClB,MAAuB;IAEvB,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC;IAE1D,IAAI,UAAU,IAAI,QAAQ,EAAE,CAAC;QAC3B,IAAI,KAAK,GAAG,UAAU,IAAI,KAAK,GAAG,QAAQ;YAAE,OAAO,KAAK,CAAC;QACzD,IAAI,KAAK,KAAK,UAAU,IAAI,UAAU,GAAG,QAAQ;YAAE,OAAO,KAAK,CAAC;QAChE,IAAI,KAAK,KAAK,QAAQ,IAAI,UAAU,GAAG,MAAM;YAAE,OAAO,KAAK,CAAC;QAC5D,OAAO,IAAI,CAAC;IACd,CAAC;SAAM,CAAC;QACN,IAAI,KAAK,GAAG,QAAQ,IAAI,KAAK,GAAG,UAAU;YAAE,OAAO,KAAK,CAAC;QACzD,IAAI,KAAK,KAAK,UAAU,IAAI,UAAU,GAAG,QAAQ;YAAE,OAAO,KAAK,CAAC;QAChE,IAAI,KAAK,KAAK,QAAQ,IAAI,UAAU,GAAG,MAAM;YAAE,OAAO,KAAK,CAAC;QAC5D,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,SAAS,CACvB,IAAY,EACZ,KAAa,EACb,MAAyB,EACzB,IAAsB;IAEtB,IAAI,GAAG,GAAG,QAAQ,IAAI,EAAE,CAAC;IAEzB,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,QAAQ;YACX,MAAM;QACR,KAAK,SAAS;YACZ,qBAAqB,CAAC,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;YACrD,GAAG,IAAI,YAAY,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3D,MAAM;QACR,KAAK,OAAO;YACV,qBAAqB,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;YACjD,GAAG,IAAI,UAAU,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACvD,MAAM;QACR,KAAK,QAAQ;YACX,qBAAqB,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;YACnD,GAAG,IAAI,WAAW,MAAM,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACzD,MAAM;IACV,CAAC;IAED,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACjC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,WAAW;gBACd,GAAG,IAAI,UAAU,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC3C,MAAM;YACR,KAAK,eAAe;gBAClB,GAAG,IAAI,UAAU,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnD,MAAM;YACR,KAAK,WAAW;gBACd,GAAG,IAAI,QAAQ,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBAChD,MAAM;YACR,KAAK,WAAW;gBACd,qBAAqB,CACnB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAC/B,uBAAuB,CACxB,CAAC;gBACF,GAAG,IAAI,cAAc,IAAI,CAAC,OAAO;qBAC9B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;qBAClB,QAAQ,EAAE;qBACV,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACf,MAAM;QACV,CAAC;IACH,CAAC;IAED,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;AACxB,CAAC"}
|
|
@@ -0,0 +1,31 @@
|
|
|
1
|
+
import * as z from "zod";
|
|
2
|
+
export declare const TargetDaysWeekSchema: z.ZodIntersection<z.ZodObject<{
|
|
3
|
+
days: z.ZodNumber;
|
|
4
|
+
priority: z.ZodDefault<z.ZodEnum<{
|
|
5
|
+
LOW: "LOW";
|
|
6
|
+
MEDIUM: "MEDIUM";
|
|
7
|
+
HIGH: "HIGH";
|
|
8
|
+
}>>;
|
|
9
|
+
weekStartsOn: z.ZodOptional<z.ZodUnion<readonly [z.ZodLiteral<"monday">, z.ZodLiteral<"tuesday">, z.ZodLiteral<"wednesday">, z.ZodLiteral<"thursday">, z.ZodLiteral<"friday">, z.ZodLiteral<"saturday">, z.ZodLiteral<"sunday">]>>;
|
|
10
|
+
}, z.core.$strip>, z.ZodType<import("./scope.types.js").EntityScopeType<"members" | "roles" | "skills">, unknown, z.core.$ZodTypeInternals<import("./scope.types.js").EntityScopeType<"members" | "roles" | "skills">, unknown>>>;
|
|
11
|
+
/**
|
|
12
|
+
* Configuration for {@link targetDaysWeekRuleDescriptor}.
|
|
13
|
+
*/
|
|
14
|
+
export type TargetDaysWeekConfig = z.infer<typeof TargetDaysWeekSchema>;
|
|
15
|
+
/**
|
|
16
|
+
* Low-level descriptor for the `target-days-week` rule.
|
|
17
|
+
*
|
|
18
|
+
* @remarks
|
|
19
|
+
* Softly targets assigned days per scheduling week. Deviations in either
|
|
20
|
+
* direction are penalized, so working fewer than the target or more than the
|
|
21
|
+
* target both count as misses. Use this for stated weekly patterns like
|
|
22
|
+
* "works a 4-day week" when that pattern should remain flexible.
|
|
23
|
+
*
|
|
24
|
+
* @category Rules
|
|
25
|
+
*/
|
|
26
|
+
export declare const targetDaysWeekRuleDescriptor: import("../rule-descriptor.js").RuleDescriptor<"target-days-week", {
|
|
27
|
+
days: number;
|
|
28
|
+
priority: "LOW" | "MEDIUM" | "HIGH";
|
|
29
|
+
weekStartsOn?: "monday" | "tuesday" | "wednesday" | "thursday" | "friday" | "saturday" | "sunday" | undefined;
|
|
30
|
+
} & import("./scope.types.js").EntityScopeType<"members" | "roles" | "skills">>;
|
|
31
|
+
//# sourceMappingURL=target-days-week.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"target-days-week.d.ts","sourceRoot":"","sources":["../../../src/cpsat/rules/target-days-week.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AAsBzB,eAAO,MAAM,oBAAoB;;;;;;;;iOAEhC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAExE;;;;;;;;;;GAUG;AACH,eAAO,MAAM,4BAA4B;;;;+EA8DvC,CAAC"}
|
|
@@ -0,0 +1,80 @@
|
|
|
1
|
+
import * as z from "zod";
|
|
2
|
+
import { DayOfWeekSchema } from "../../types.js";
|
|
3
|
+
import { defineRuleDescriptor } from "../rule-descriptor.js";
|
|
4
|
+
import { priorityToPenalty, splitIntoWeeks } from "../utils.js";
|
|
5
|
+
import { entityScope, parseEntityScope, resolveMembersFromScope, ruleGroup, SoftPrioritySchema, } from "./scope.types.js";
|
|
6
|
+
import { assignmentVarsForDay } from "./assignment-terms.js";
|
|
7
|
+
import { assignedDayVariableName } from "./variables.js";
|
|
8
|
+
import { reportValidation, softConstraint } from "./artifacts.js";
|
|
9
|
+
import { buildAssignedDayIndicator } from "./assigned-day.js";
|
|
10
|
+
const TargetDaysWeekBase = z.object({
|
|
11
|
+
days: z.number().int().min(0),
|
|
12
|
+
priority: SoftPrioritySchema.default("HIGH"),
|
|
13
|
+
weekStartsOn: DayOfWeekSchema.optional(),
|
|
14
|
+
});
|
|
15
|
+
export const TargetDaysWeekSchema = TargetDaysWeekBase.and(entityScope(["members", "roles", "skills"]));
|
|
16
|
+
/**
|
|
17
|
+
* Low-level descriptor for the `target-days-week` rule.
|
|
18
|
+
*
|
|
19
|
+
* @remarks
|
|
20
|
+
* Softly targets assigned days per scheduling week. Deviations in either
|
|
21
|
+
* direction are penalized, so working fewer than the target or more than the
|
|
22
|
+
* target both count as misses. Use this for stated weekly patterns like
|
|
23
|
+
* "works a 4-day week" when that pattern should remain flexible.
|
|
24
|
+
*
|
|
25
|
+
* @category Rules
|
|
26
|
+
*/
|
|
27
|
+
export const targetDaysWeekRuleDescriptor = defineRuleDescriptor({
|
|
28
|
+
name: "target-days-week",
|
|
29
|
+
schema: TargetDaysWeekSchema,
|
|
30
|
+
compile(config, ctx) {
|
|
31
|
+
const scope = parseEntityScope(config);
|
|
32
|
+
const { days, priority, weekStartsOn } = config;
|
|
33
|
+
const group = ruleGroup(`target-days-week:${days}`, `Target ${days}d per week`, scope);
|
|
34
|
+
const members = resolveMembersFromScope(scope, [...ctx.members]);
|
|
35
|
+
const weeks = splitIntoWeeks([...ctx.days], weekStartsOn ?? ctx.weekStartsOn);
|
|
36
|
+
const artifacts = members.flatMap((member) => weeks.flatMap((weekDays) => {
|
|
37
|
+
const weekStart = weekDays[0];
|
|
38
|
+
if (!weekStart)
|
|
39
|
+
return [];
|
|
40
|
+
const supportArtifacts = weekDays.flatMap((day) => buildAssignedDayIndicator({
|
|
41
|
+
memberId: member.id,
|
|
42
|
+
day,
|
|
43
|
+
assignmentVars: assignmentVarsForDay(member, day, ctx.shiftPatterns),
|
|
44
|
+
}).artifacts);
|
|
45
|
+
const assignedDayVars = weekDays.map((day) => assignedDayVariableName(member.id, day.iso));
|
|
46
|
+
const context = { memberIds: [member.id], days: weekDays.map((day) => day.iso) };
|
|
47
|
+
const terms = assignedDayVars.map((varName) => ({ var: varName, coeff: 1 }));
|
|
48
|
+
const penalty = priorityToPenalty(priority);
|
|
49
|
+
return supportArtifacts.concat([
|
|
50
|
+
softConstraint({
|
|
51
|
+
group,
|
|
52
|
+
description: `${member.id} target ${days}d per week starting ${weekStart.iso} (under)`,
|
|
53
|
+
context,
|
|
54
|
+
validation: reportValidation(),
|
|
55
|
+
terms,
|
|
56
|
+
comparator: ">=",
|
|
57
|
+
targetValue: days,
|
|
58
|
+
penalty,
|
|
59
|
+
constraintId: `target-days-week:under:${member.id}:${weekStart.iso}`,
|
|
60
|
+
}),
|
|
61
|
+
softConstraint({
|
|
62
|
+
group,
|
|
63
|
+
description: `${member.id} target ${days}d per week starting ${weekStart.iso} (over)`,
|
|
64
|
+
context,
|
|
65
|
+
validation: reportValidation(),
|
|
66
|
+
terms,
|
|
67
|
+
comparator: "<=",
|
|
68
|
+
targetValue: days,
|
|
69
|
+
penalty,
|
|
70
|
+
constraintId: `target-days-week:over:${member.id}:${weekStart.iso}`,
|
|
71
|
+
}),
|
|
72
|
+
]);
|
|
73
|
+
}));
|
|
74
|
+
return {
|
|
75
|
+
rule: "target-days-week",
|
|
76
|
+
artifacts,
|
|
77
|
+
};
|
|
78
|
+
},
|
|
79
|
+
});
|
|
80
|
+
//# sourceMappingURL=target-days-week.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"target-days-week.js","sourceRoot":"","sources":["../../../src/cpsat/rules/target-days-week.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AACzB,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAChE,OAAO,EACL,WAAW,EACX,gBAAgB,EAChB,uBAAuB,EACvB,SAAS,EACT,kBAAkB,GACnB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AACzD,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAClE,OAAO,EAAE,yBAAyB,EAAE,MAAM,mBAAmB,CAAC;AAE9D,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,CAAC;IAClC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7B,QAAQ,EAAE,kBAAkB,CAAC,OAAO,CAAC,MAAM,CAAC;IAC5C,YAAY,EAAE,eAAe,CAAC,QAAQ,EAAE;CACzC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,oBAAoB,GAAG,kBAAkB,CAAC,GAAG,CACxD,WAAW,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAC5C,CAAC;AAOF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,oBAAoB,CAAC;IAC/D,IAAI,EAAE,kBAAkB;IACxB,MAAM,EAAE,oBAAoB;IAC5B,OAAO,CAAC,MAAM,EAAE,GAAG;QACjB,MAAM,KAAK,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,GAAG,MAAM,CAAC;QAChD,MAAM,KAAK,GAAG,SAAS,CAAC,oBAAoB,IAAI,EAAE,EAAE,UAAU,IAAI,YAAY,EAAE,KAAK,CAAC,CAAC;QACvF,MAAM,OAAO,GAAG,uBAAuB,CAAC,KAAK,EAAE,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;QACjE,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,IAAI,GAAG,CAAC,YAAY,CAAC,CAAC;QAE9E,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAC3C,KAAK,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE;YACzB,MAAM,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC9B,IAAI,CAAC,SAAS;gBAAE,OAAO,EAAE,CAAC;YAE1B,MAAM,gBAAgB,GAAG,QAAQ,CAAC,OAAO,CACvC,CAAC,GAAG,EAAE,EAAE,CACN,yBAAyB,CAAC;gBACxB,QAAQ,EAAE,MAAM,CAAC,EAAE;gBACnB,GAAG;gBACH,cAAc,EAAE,oBAAoB,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,aAAa,CAAC;aACrE,CAAC,CAAC,SAAS,CACf,CAAC;YAEF,MAAM,eAAe,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,uBAAuB,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;YAE3F,MAAM,OAAO,GAAG,EAAE,SAAS,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACjF,MAAM,KAAK,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAC7E,MAAM,OAAO,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;YAE5C,OAAO,gBAAgB,CAAC,MAAM,CAAC;gBAC7B,cAAc,CAAC;oBACb,KAAK;oBACL,WAAW,EAAE,GAAG,MAAM,CAAC,EAAE,WAAW,IAAI,uBAAuB,SAAS,CAAC,GAAG,UAAU;oBACtF,OAAO;oBACP,UAAU,EAAE,gBAAgB,EAAE;oBAC9B,KAAK;oBACL,UAAU,EAAE,IAAI;oBAChB,WAAW,EAAE,IAAI;oBACjB,OAAO;oBACP,YAAY,EAAE,0BAA0B,MAAM,CAAC,EAAE,IAAI,SAAS,CAAC,GAAG,EAAE;iBACrE,CAAC;gBACF,cAAc,CAAC;oBACb,KAAK;oBACL,WAAW,EAAE,GAAG,MAAM,CAAC,EAAE,WAAW,IAAI,uBAAuB,SAAS,CAAC,GAAG,SAAS;oBACrF,OAAO;oBACP,UAAU,EAAE,gBAAgB,EAAE;oBAC9B,KAAK;oBACL,UAAU,EAAE,IAAI;oBAChB,WAAW,EAAE,IAAI;oBACjB,OAAO;oBACP,YAAY,EAAE,yBAAyB,MAAM,CAAC,EAAE,IAAI,SAAS,CAAC,GAAG,EAAE;iBACpE,CAAC;aACH,CAAC,CAAC;QACL,CAAC,CAAC,CACH,CAAC;QAEF,OAAO;YACL,IAAI,EAAE,kBAAkB;YACxB,SAAS;SACV,CAAC;IACJ,CAAC;CACF,CAAC,CAAC"}
|
|
@@ -0,0 +1,33 @@
|
|
|
1
|
+
import * as z from "zod";
|
|
2
|
+
export declare const TargetPeakConcurrentAssignmentsSchema: z.ZodIntersection<z.ZodIntersection<z.ZodObject<{
|
|
3
|
+
assignments: z.ZodNumber;
|
|
4
|
+
priority: z.ZodDefault<z.ZodEnum<{
|
|
5
|
+
LOW: "LOW";
|
|
6
|
+
MEDIUM: "MEDIUM";
|
|
7
|
+
HIGH: "HIGH";
|
|
8
|
+
}>>;
|
|
9
|
+
}, z.core.$strip>, z.ZodType<import("./scope.types.js").EntityScopeType<"members" | "roles" | "skills">, unknown, z.core.$ZodTypeInternals<import("./scope.types.js").EntityScopeType<"members" | "roles" | "skills">, unknown>>>, z.ZodType<import("./scope.types.js").OptionalTimeScopeType<"dateRange" | "dayOfWeek" | "specificDates" | "recurring">, unknown, z.core.$ZodTypeInternals<import("./scope.types.js").OptionalTimeScopeType<"dateRange" | "dayOfWeek" | "specificDates" | "recurring">, unknown>>>;
|
|
10
|
+
/**
|
|
11
|
+
* Configuration for {@link targetPeakConcurrentAssignmentsRuleDescriptor}.
|
|
12
|
+
*/
|
|
13
|
+
export type TargetPeakConcurrentAssignmentsConfig = z.infer<typeof TargetPeakConcurrentAssignmentsSchema>;
|
|
14
|
+
/** @internal */
|
|
15
|
+
export declare const TARGET_PEAK_CONCURRENT_ASSIGNMENTS_OBJECTIVE_STAGE_ID = "__dabke_target_peak_concurrent_assignments__";
|
|
16
|
+
/**
|
|
17
|
+
* Low-level descriptor for the `target-peak-concurrent-assignments` rule.
|
|
18
|
+
*
|
|
19
|
+
* @remarks
|
|
20
|
+
* Softly targets the daily peak number of concurrent targeted assignments
|
|
21
|
+
* within the scoped day set. This is not a lower bound across the whole day.
|
|
22
|
+
* Use {@link import("../../schedule/coverage.js").cover} for whole-window
|
|
23
|
+
* minimum staffing, and pair this rule with
|
|
24
|
+
* {@link import("./max-concurrent-assignments.js").maxConcurrentAssignmentsRuleDescriptor}
|
|
25
|
+
* when the same value is also a hard capacity cap.
|
|
26
|
+
*
|
|
27
|
+
* @category Rules
|
|
28
|
+
*/
|
|
29
|
+
export declare const targetPeakConcurrentAssignmentsRuleDescriptor: import("../rule-descriptor.js").RuleDescriptor<"target-peak-concurrent-assignments", ({
|
|
30
|
+
assignments: number;
|
|
31
|
+
priority: "LOW" | "MEDIUM" | "HIGH";
|
|
32
|
+
} & import("./scope.types.js").EntityScopeType<"members" | "roles" | "skills">) & import("./scope.types.js").OptionalTimeScopeType<"dateRange" | "dayOfWeek" | "specificDates" | "recurring">>;
|
|
33
|
+
//# sourceMappingURL=target-peak-concurrent-assignments.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"target-peak-concurrent-assignments.d.ts","sourceRoot":"","sources":["../../../src/cpsat/rules/target-peak-concurrent-assignments.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AA2BzB,eAAO,MAAM,qCAAqC;;;;;;;mfAMyB,CAAC;AAE5E;;GAEG;AACH,MAAM,MAAM,qCAAqC,GAAG,CAAC,CAAC,KAAK,CACzD,OAAO,qCAAqC,CAC7C,CAAC;AAEF,gBAAgB;AAChB,eAAO,MAAM,qDAAqD,iDAClB,CAAC;AAEjD;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,6CAA6C;;;8LA4IxD,CAAC"}
|