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

Z3: symbol Class Reference

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

◆ symbol() ◆ kind() ◆ operator Z3_symbol() operator Z3_symbol ( ) const inline ◆ str() std::string str ( ) const inline

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

Z3_symbol_kind kind() const

Z3_string Z3_API Z3_get_symbol_string(Z3_context c, Z3_symbol s)

Return the symbol name.

◆ to_int()

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

int Z3_API Z3_get_symbol_int(Z3_context c, Z3_symbol s)

Return the symbol int value.

◆ operator<< std::ostream& operator<< ( std::ostream &  out, symbol const &  s  ) friend

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

493

out <<

"k!"

<< s.to_int();

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