DomainGreater(v)(x) = true where x <= v
(self, critical_value)
| 865 | """ |
| 866 | |
| 867 | def __init__(self, critical_value): |
| 868 | "DomainGreater(v)(x) = true where x <= v" |
| 869 | self.critical_value = critical_value |
| 870 | |
| 871 | def __call__(self, x): |
| 872 | "Executes the call behavior." |
nothing calls this directly
no outgoing calls
no test coverage detected