Protected Member Functions | |
BoolExpr (Context ctx) | |
Package Functions | |
BoolExpr (Context ctx, long obj) throws Z3Exception |
Boolean expressions
Definition at line 23 of file BoolExpr.java.
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
Z3Exception |
Definition at line 37 of file BoolExpr.java.
{ super(ctx, obj); }