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.