Method getBoolValue

src/api/java/Expr.java:88–92

Indicates whether the expression is the true or false expression or something else (Z3_L_UNDEF). @throws Z3Exception on error @return a Z3_lbool

()

     * @return a Z3_lbool
     **/
    public Z3_lbool getBoolValue()
    {
        return Z3_lbool.fromInt(Native.getBoolValue(getContext().nCtx(),
                getNativeObject()));
    }

    /**
     * The number of arguments of the expression.