Optimize.
More...
Optimize.
Definition at line 6939 of file z3py.py.
◆ __init__()
def __init__ |
( |
|
self, |
|
|
|
opt, |
|
|
|
value, |
|
|
|
is_max |
|
) |
| |
Definition at line 6940 of file z3py.py.
6940 def __init__(self, opt, value, is_max):
6943 self._is_max = is_max
◆ __str__()
Definition at line 6967 of file z3py.py.
6968 return "%s:%s" % (self._value, self._is_max)
◆ lower()
Definition at line 6945 of file z3py.py.
Referenced by OptimizeObjective.value().
Z3_ast Z3_API Z3_optimize_get_lower(Z3_context c, Z3_optimize o, unsigned idx)
Retrieve lower bound value or approximation for the i'th optimization objective.
◆ lower_values()
Definition at line 6953 of file z3py.py.
6953 def lower_values(self):
Z3_ast_vector Z3_API Z3_optimize_get_lower_as_vector(Z3_context c, Z3_optimize o, unsigned idx)
Retrieve lower bound value or approximation for the i'th optimization objective. The returned vector ...
◆ upper()
Definition at line 6949 of file z3py.py.
Referenced by OptimizeObjective.value().
Z3_ast Z3_API Z3_optimize_get_upper(Z3_context c, Z3_optimize o, unsigned idx)
Retrieve upper bound value or approximation for the i'th optimization objective.
◆ upper_values()
Definition at line 6957 of file z3py.py.
6957 def upper_values(self):
Z3_ast_vector Z3_API Z3_optimize_get_upper_as_vector(Z3_context c, Z3_optimize o, unsigned idx)
Retrieve upper bound value or approximation for the i'th optimization objective.
◆ value()