Public Member Functions | |
def | __init__ (self, r) |
def | __eq__ (self, other) |
def | __ne__ (self, other) |
def | __repr__ (self) |
Data Fields | |
r | |
Represents the result of a satisfiability check: sat, unsat, unknown. >>> s = Solver() >>> s.check() sat >>> r = s.check() >>> isinstance(r, CheckSatResult) True
def __init__ | ( | self, | |
r | |||
) |
def __eq__ | ( | self, | |
other | |||
) |
Definition at line 5874 of file z3py.py.
Referenced by Probe.__ne__().
def __ne__ | ( | self, | |
other | |||
) |