Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Macros Groups Pages
Public Member Functions | Properties
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.