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_int_symbol.html below:

Z3: IntSymbol Class Reference

Numbered symbols More...

Inheritance diagram for IntSymbol:

Numbered symbols

Definition at line 29 of file IntSymbol.cs.

The int value of the symbol.

Throws an exception if the symbol is not of int kind.

Definition at line 35 of file IntSymbol.cs.

Z3Exception(

);

Native.Z3_get_symbol_int(

.nCtx, NativeObject);

bool IsIntSymbol()

Indicates whether the symbol is of Int kind

Context Context

Access Context object

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