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);
    }