Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines
Protected Member Functions | Package Functions
RealExpr Class Reference
+ Inheritance diagram for RealExpr:

Protected Member Functions

 RealExpr (Context ctx)

Package Functions

 RealExpr (Context ctx, long obj) throws Z3Exception

Detailed Description

Real expressions

Definition at line 23 of file RealExpr.java.


Constructor & Destructor Documentation

RealExpr ( Context  ctx) [inline, protected]

Constructor for RealExpr

Definition at line 28 of file RealExpr.java.

    {
        super(ctx);
    }
RealExpr ( Context  ctx,
long  obj 
) throws Z3Exception [inline, package]

Definition at line 33 of file RealExpr.java.

    {
        super(ctx, obj);
    }
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines