domain_check_interval(a,b)(x) = true where x < a or y > b
(self, a, b)
| 804 | """ |
| 805 | |
| 806 | def __init__(self, a, b): |
| 807 | "domain_check_interval(a,b)(x) = true where x < a or y > b" |
| 808 | if a > b: |
| 809 | (a, b) = (b, a) |
| 810 | self.a = a |
| 811 | self.b = b |
| 812 | |
| 813 | def __call__(self, x): |
| 814 | "Execute the call behavior." |
nothing calls this directly
no outgoing calls
no test coverage detected