RetroSearch Browse

Showing content from https://z3prover.github.io/api/html/classz3py_1_1_optimize_objective.html below:

Definition at line 7890 of file z3py.py.

◆ __init__() def __init__ ( self, opt, value, is_max )

Definition at line 7891 of file z3py.py.

7891 def

__init__(self, opt, value, is_max):

7894

self._is_max = is_max

◆ __str__()

Definition at line 7918 of file z3py.py.

7919 return "%s:%s"

% (self._value, self._is_max)

◆ lower()

Definition at line 7896 of file z3py.py.

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() def lower_values ( self )

Definition at line 7904 of file z3py.py.

7904 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 7900 of file z3py.py.

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() def upper_values ( self )

Definition at line 7908 of file z3py.py.

7908 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()

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4