Skip to content

Users/klaus/fixpropagator1 #249

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
AbdallahS merged 11 commits into from
Apr 17, 2026
Merged

Users/klaus/fixpropagator1 #249

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
f6c75bb
removed some old warnings
MaxOstrowski Apr 10, 2026
223044e
Warnings specific to a model are not emited for future models
kstrauch94 Apr 13, 2026
2354a4a
A variable does not change if a possible value is set to false
kstrauch94 Apr 13, 2026
1ed53a7
delete warnings that are already handlded in by the ch
kstrauch94 Apr 13, 2026
18b7374
Ignore bad values in optimization sums
kstrauch94 Apr 13, 2026
1d97c49
Fix hash function of VariableValue
kstrauch94 Apr 15, 2026
fd4d8a7
Test if a variable exists when deciding if we can evaluate
kstrauch94 Apr 16, 2026
3fe9490
Add Evaluations class
kstrauch94 Apr 16, 2026
448c109
Delete temp comments and add docstring
kstrauch94 Apr 16, 2026
b262180
propagator passes warning_bad test
kstrauch94 Apr 16, 2026
4c60e77
Executions also emit bad warnings
kstrauch94 Apr 16, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 4 additions & 3 deletions src/constraint_handler/PropagatorConstants.py
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,14 +1,14 @@
import enum
from typing import Literal
from typing import Any, Literal

from clingo import Symbol

from constraint_handler.schemas.warning import Warning

DEBUG_PRINT = False

DEFAULT_DECISION_LEVEL: Literal[-1] = -1

FALSE_ASSIGNMENTS: Literal["__FALSE_ASSIGNMENTS__"] = "__FALSE_ASSIGNMENTS__"

ENSURE_VAR_NAME: Literal["__ensure__"] = "__ensure__"
EXECUTION_INPUT: Literal["execution_input"] = "execution_input"
EXECUTION_OUTPUT: Literal["execution_output"] = "execution_output"
Expand Down Expand Up @@ -57,3 +57,4 @@ class NoValueSet(Exception):


type propagator_warning_t = list[Warning]
type evaluations_type = dict[Symbol, Any | set[Any] | dict[Any, Any]]
Loading
Loading