Method mkDistinct

src/api/java/Context.java:891–897

Creates a distinct term.

(Expr<?>... args)

     * Creates a {@code distinct} term.
     **/
    @SafeVarargs
    public final BoolExpr mkDistinct(Expr<?>... args)
    {
        checkContextMatch(args);
        return new BoolExpr(this, Native.mkDistinct(nCtx(), args.length,
                AST.arrayToNative(args)));
    }

    /**
     * Create an expression representing {@code not(a)}.