DomainGreaterEqual(v)(x) = true where x < v
(self, critical_value)
| 881 | """ |
| 882 | |
| 883 | def __init__(self, critical_value): |
| 884 | "DomainGreaterEqual(v)(x) = true where x < v" |
| 885 | self.critical_value = critical_value |
| 886 | |
| 887 | def __call__(self, x): |
| 888 | "Executes the call behavior." |
nothing calls this directly
no outgoing calls
no test coverage detected