Method bigIntCheck

examples/java/JavaGenericExample.java:923–927

(Context ctx, RatNum r)

    }

    void bigIntCheck(Context ctx, RatNum r)
    {
        System.out.printf("Num: %s%n", r.getBigIntNumerator());
        System.out.printf("Den: %s%n", r.getBigIntDenominator());
    }

    // / Find a model for <code>x xor y</code>.