Public Member Functions | |
__init__ (self, r) | |
__deepcopy__ (self, memo={}) | |
__eq__ (self, other) | |
__ne__ (self, other) | |
__repr__ (self) | |
Data Fields | |
r = r | |
Protected Member Functions | |
_repr_html_ (self) | |
Represents the result of a satisfiability check: sat, unsat, unknown. >>> s = Solver() >>> s.check() sat >>> r = s.check() >>> isinstance(r, CheckSatResult) True
__init__ | ( | self, | |
r ) |
__deepcopy__ | ( | self, | |
memo = {} ) |
__eq__ | ( | self, | |
other ) |
Definition at line 6908 of file z3py.py.
Referenced by CheckSatResult.__ne__().
__ne__ | ( | self, | |
other ) |
__repr__ | ( | self | ) |
Definition at line 6914 of file z3py.py.
|
protected |
r = r |
Definition at line 6903 of file z3py.py.
Referenced by CheckSatResult.__deepcopy__(), CheckSatResult.__eq__(), and CheckSatResult.__repr__().