| Instance Methods |
__init__(self,
statements=[]) |
source code |
| __repr__(self) | source code |
| __enter__(self) | source code |
| __exit__(self, *args) | source code |
| check(self, cond) |
source code
call graph |
| eq(s, a, b) | source code |
| ne(s, a, b) | source code |
| lt(s, a, b) | source code |
| le(s, a, b) | source code |
| gt(s, a, b) | source code |
| ge(s, a, b) | source code |
| negative(s, x) |
source code
call graph |
| nonpositive(s, x) |
source code
call graph |
| zero(s, x) | source code |
| nonzero(s, x) |
source code
call graph |
| positive(s, x) |
source code
call graph |
| nonnegative(s, x) |
source code
call graph |
