Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Macros Groups Pages
Properties
IntSymbol Class Reference

Numbered symbols More...

+ Inheritance diagram for IntSymbol:

Properties

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

Additional Inherited Members

- Public Member Functions inherited from Symbol
bool IsIntSymbol ()
 Indicates whether the symbol is of Int kind
 
bool IsStringSymbol ()
 Indicates whether the symbol is of string kind.
 
override string ToString ()
 A string representation of the symbol.
 
- Protected Member Functions inherited from Symbol
 Symbol (Context ctx, IntPtr obj)
 Symbol constructor
 

Detailed Description

Numbered symbols

Definition at line 98 of file Symbol.cs.

Property Documentation

int Int
get

The int value of the symbol.

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

Definition at line 105 of file Symbol.cs.