BoolExpr Class Reference

Inheritance diagram for BoolExpr:

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

---

Detailed Description

Boolean expressions

Definition at line 23 of file BoolExpr.java.

---

Constructor & Destructor Documentation

BoolExpr

(

Context

ctx

)

[inline, protected]

Constructor for BoolExpr

Definition at line 28 of file BoolExpr.java.

Referenced by Quantifier.getBody().

        {
                super(ctx);
        }

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

Constructor for BoolExpr

Exceptions:

Z3Exception

Definition at line 37 of file BoolExpr.java.

        {
                super(ctx, obj);
        }