Method Assert

src/api/java/Optimize.java:61–68

Assert a constraint (or multiple) into the optimize solver.

(Expr<BoolSort>... constraints)

     * Assert a constraint (or multiple) into the optimize solver.
     **/
    public void Assert(Expr<BoolSort>... constraints)
    {
        getContext().checkContextMatch(constraints);
        for (Expr<BoolSort> a : constraints)
        {
            Native.optimizeAssert(getContext().nCtx(), getNativeObject(), a.getNativeObject());
        }
    }

    /**
     * Alias for Assert.