(self)
| 807 | """ |
| 808 | |
| 809 | def __init__(self) -> None: |
| 810 | self._assertions: list[BoolRef] = [] |
| 811 | self._objectives: list[tuple[str, ExprRef]] = [] |
| 812 | |
| 813 | def add(self, *args: BoolRef) -> None: |
| 814 | for a in args: |
nothing calls this directly
no outgoing calls
no test coverage detected