Public Member Functions | |
__init__ (self, r) | |
__deepcopy__ (self, memo={}) | |
__eq__ (self, other) | |
__ne__ (self, other) | |
__repr__ (self) | |
Data Fields | |
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 6854 of file z3py.py.
Referenced by CheckSatResult.__ne__(), and Probe.__ne__().
__ne__ | ( | self, | |
other | |||
) |
__repr__ | ( | self | ) |
Definition at line 6860 of file z3py.py.
|
protected |
r |
Definition at line 6849 of file z3py.py.
Referenced by CheckSatResult.__deepcopy__(), CheckSatResult.__eq__(), and CheckSatResult.__repr__().