Method nextSplit

src/api/java/UserPropagatorBase.java:112–116

(Expr<?> e, long idx, Z3_lbool phase)

    }

    public final boolean nextSplit(Expr<?> e, long idx, Z3_lbool phase) {
        return Native.propagateNextSplit(
            this, ctx.nCtx(), solver.getNativeObject(), javainfo,
            e.getNativeObject(), idx, phase.toInt());
    }
}