Method setParameters

src/api/java/Solver.java:44–49

Sets the solver parameters. @throws Z3Exception

(Params value)

     * @throws Z3Exception
     **/
    public void setParameters(Params value)
    {
        getContext().checkContextMatch(value);
        Native.solverSetParams(getContext().nCtx(), getNativeObject(),
                value.getNativeObject());
    }

    /**
     * Retrieves parameter descriptions for solver.