OptimizeObjective Class Reference

Optimize. More...

Public Member Functions
def	__init__
def	lower
def	upper
def	value

---

Detailed Description

Optimize.

Definition at line 6400 of file z3py.py.

---

Constructor & Destructor Documentation

def __init__	(		self,
			opt,
			value,
			is_max
	)

Definition at line 6401 of file z3py.py.

    def __init__(self, opt, value, is_max):
        self._opt = opt
        self._value = value
        self._is_max = is_max

---

Member Function Documentation

def lower

(

self

)

Definition at line 6406 of file z3py.py.

Referenced by OptimizeObjective.value().

06406 
06407     def lower(self):
06408         opt = self._opt
06409         return _to_expr_ref(Z3_optimize_get_lower(opt.ctx.ref(), opt.optimize, self._value), opt.ctx)
    

def upper

(

self

)

Definition at line 6410 of file z3py.py.

Referenced by OptimizeObjective.value().

    def upper(self):
        opt = self._opt
        return _to_expr_ref(Z3_optimize_get_upper(opt.ctx.ref(), opt.optimize, self._value), opt.ctx)

def value

(

self

)

Definition at line 6414 of file z3py.py.

    def value(self):
        if self._is_max:
            return self.upper()
        else:
            return self.lower()