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

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

Z3: FPSort Class Reference

FloatingPoint sort More...

Inheritance diagram for FPSort:

FloatingPoint sort

Definition at line 27 of file FPSort.cs.

The number of exponent bits.

Definition at line 32 of file FPSort.cs.

{

{

Native.Z3_fpa_get_ebits(

.nCtx, NativeObject); } }

Context Context

Access Context object

The number of significand bits.

Definition at line 37 of file FPSort.cs.

{

{

Native.Z3_fpa_get_sbits(

.nCtx, NativeObject); } }

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