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...
 
- Properties inherited from Z3Object
Context Context [get]
 Access Context object 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 35 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  }
bool IsIntSymbol()
Indicates whether the symbol is of Int kind
Definition: Symbol.cs:42
Context Context
Access Context object
Definition: Z3Object.cs:111