Method add

src/api/java/UserPropagatorBase.java:94–96

(Expr<?> expr)

    public void fin() {}

    public final void add(Expr<?> expr) {
        Native.propagateAdd(this, ctx.nCtx(), solver.getNativeObject(), javainfo, expr.getNativeObject());
    }

    public final boolean conflict(Expr<?>[] fixed) {
        return conflict(fixed, new Expr[0], new Expr[0]);