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

Z3: StringSymbol Class Reference

Named symbols More...

Inheritance diagram for StringSymbol:

Named symbols

Definition at line 30 of file StringSymbol.cs.

The string value of the symbol.

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

Definition at line 36 of file StringSymbol.cs.

Z3Exception(

);

Native.Z3_get_symbol_string(

.nCtx, NativeObject);

bool IsStringSymbol()

Indicates whether the symbol is of string 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