IntNum Class Reference

Integer Numerals More...

Inheritance diagram for IntNum:

Public Member Functions
override string	ToString ()
	Returns a string representation of the numeral.

Properties
UInt64	UInt64 [get]
	Retrieve the 64-bit unsigned integer value.
int	Int [get]
	Retrieve the int value.
Int64	Int64 [get]
	Retrieve the 64-bit int value.
uint	UInt [get]
	Retrieve the int value.
BigInteger	BigInteger [get]
	Retrieve the BigInteger value.

Additional Inherited Members
Static Public Member Functions inherited from AST
static bool	operator== (AST a, AST b)
	Comparison operator.
static bool	operator!= (AST a, AST b)
	Comparison operator.
Protected Member Functions inherited from IntExpr
	IntExpr (Context ctx)
	Constructor for IntExpr

Detailed Description

Integer Numerals

Definition at line 32 of file Numeral.cs.

Member Function Documentation

override string ToString ( )

inline

Returns a string representation of the numeral.

Definition at line 116 of file Numeral.cs.

        {
            return Native.Z3_get_numeral_string(Context.nCtx, NativeObject);
        }

Property Documentation

BigInteger BigInteger

get

Retrieve the BigInteger value.

Definition at line 105 of file Numeral.cs.

int Int

get

Retrieve the int value.

Definition at line 62 of file Numeral.cs.

Int64 Int64

get

Retrieve the 64-bit int value.

Definition at line 76 of file Numeral.cs.

uint UInt

get

Retrieve the int value.

Definition at line 90 of file Numeral.cs.

UInt64 UInt64

get

Retrieve the 64-bit unsigned integer value.

Definition at line 48 of file Numeral.cs.