RetroSearch Browse

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

Z3: Symbol Class Reference

Symbols are used to name several term and type constructors. More...

Symbols are used to name several term and type constructors.

Definition at line 29 of file Symbol.cs.

◆ Symbol() ◆ Equals() override bool Equals ( object o ) inline

Object comparison.

Definition at line 92 of file Symbol.cs.

95 if

(casted ==

null

)

return false

;

96 return this

== casted;

Symbol(Context ctx, IntPtr obj)

Symbol constructor

◆ GetHashCode() override int GetHashCode ( ) inline

The Symbol's hash code.

Returns: A hash code

Definition at line 103 of file Symbol.cs.

106 return

((IntSymbol)

this

).Int;

108 return

((StringSymbol)

this

).String.GetHashCode();

bool IsIntSymbol()

Indicates whether the symbol is of Int kind

◆ IsIntSymbol()

Indicates whether the symbol is of Int kind

Definition at line 42 of file Symbol.cs.

Z3_symbol_kind Kind

The kind of the symbol (int or string)

Z3_symbol_kind

The different kinds of symbol. In Z3, a symbol can be represented using integers and strings (See Z3_...

Referenced by Symbol.GetHashCode(), and Symbol.ToString().

◆ IsStringSymbol() ◆ operator!=()

Equality overloading.

Definition at line 84 of file Symbol.cs.

◆ operator==()

Equality overloading.

Definition at line 72 of file Symbol.cs.

75 return

Object.ReferenceEquals(s1, s2) ||

76

(!Object.ReferenceEquals(s1,

null

) &&

77

!Object.ReferenceEquals(s2,

null

) &&

78

s1.NativeObject == s2.NativeObject);

◆ ToString() override string ToString ( ) inline

A string representation of the symbol.

Definition at line 58 of file Symbol.cs.

61 return

((IntSymbol)

this

).Int.ToString();

63 return

((StringSymbol)

this

).String;

65 throw new

Z3Exception(

"Unknown symbol kind encountered"

);

bool IsStringSymbol()

Indicates whether the symbol is of string kind.

◆ Kind

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