Conjunction of all constraints.
(self)
| 32 | return len(self._constraints) |
| 33 | |
| 34 | def as_expr(self) -> BoolRef: |
| 35 | """Conjunction of all constraints.""" |
| 36 | return And(*self._constraints) |
| 37 | |
| 38 | def __repr__(self) -> str: |
| 39 | return f"Goal({', '.join(repr(c) for c in self._constraints)})" |