Z3
Properties
IntSymbol Class Reference

Numbered symbols More...

+ Inheritance diagram for IntSymbol:

Properties

int Int [get]
 The int value of the symbol. More...
 
- Properties inherited from Symbol
Z3_symbol_kind Kind [get]
 The kind of the symbol (int or string) More...
 

Additional Inherited Members

- Public Member Functions inherited from Symbol
bool IsIntSymbol ()
 Indicates whether the symbol is of Int kind More...
 
bool IsStringSymbol ()
 Indicates whether the symbol is of string kind. More...
 
override string ToString ()
 A string representation of the symbol. More...
 
override bool Equals (object o)
 Object comparison. More...
 
override int GetHashCode ()
 The Symbols's hash code. More...
 
- Public Member Functions inherited from Z3Object
void Dispose ()
 Disposes of the underlying native Z3 object. More...
 
- Static Public Member Functions inherited from Symbol
static bool operator== (Symbol s1, Symbol s2)
 Equality overloading. More...
 
static bool operator!= (Symbol s1, Symbol s2)
 Equality overloading. More...
 
- Protected Member Functions inherited from Symbol
 Symbol (Context ctx, IntPtr obj)
 Symbol constructor More...
 

Detailed Description

Numbered symbols

Definition at line 29 of file IntSymbol.cs.

Property Documentation

◆ Int

int Int
get

The int value of the symbol.

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

Definition at line 36 of file IntSymbol.cs.

36  {
37  get
38  {
39  if (!IsIntSymbol())
40  throw new Z3Exception("Int requested from non-Int symbol");
41  return Native.Z3_get_symbol_int(Context.nCtx, NativeObject);
42  }
43  }
Microsoft.Z3.Symbol.IsIntSymbol
bool IsIntSymbol()
Indicates whether the symbol is of Int kind
Definition: Symbol.cs:42