Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines
Protected Member Functions | Package Functions
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);
        }
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines