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 Symbol'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.

        {
            get
            {
                if (!IsIntSymbol())
                    throw new Z3Exception("Int requested from non-Int symbol");
                return Native.Z3_get_symbol_int(Context.nCtx, NativeObject);
            }
        }