IntExpr Class Reference

Inheritance diagram for IntExpr:

Protected Member Functions
	IntExpr (Context ctx) throws Z3Exception
Package Functions
	IntExpr (Context ctx, long obj) throws Z3Exception

---

Detailed Description

Int expressions

Definition at line 23 of file IntExpr.java.

---

Constructor & Destructor Documentation

IntExpr

(

Context

ctx

)

throws Z3Exception [inline, protected]

Constructor for IntExpr

Definition at line 28 of file IntExpr.java.

        {
                super(ctx);
        }

IntExpr	(	Context	ctx,
		long	obj
	)		throws Z3Exception [inline, package]

Definition at line 33 of file IntExpr.java.

        {
                super(ctx, obj);
        }