A RetroSearch Logo

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Search Query:

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

Z3: optimize::handle Class Reference

Public Member Functions   handle (unsigned h)   unsigned  h () const   Detailed Description

Definition at line 3291 of file z3++.h.

Constructor & Destructor Documentation ◆ handle() handle ( unsigned  h ) inline

Definition at line 3294 of file z3++.h.

3294

: m_h(

h

) {}

z3::optimize::handle::h

unsigned h() const

Definition: z3++.h:3295 Member Function Documentation ◆ h() unsigned h ( ) const inline

Definition at line 3295 of file z3++.h.

3295

{

return

m_h; }

Referenced by optimize::lower(), and optimize::upper().

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