@Override protected boolean equal(final Number a, final Number b) { if (a == null) throw new NullPointerException(); if (b == null) throw new NullPointerException(); return OWLRealUtils.compare(a, b) == 0; }
@Override protected boolean equal(final Number a, final Number b) { if (a == null) throw new NullPointerException(); if (b == null) throw new NullPointerException(); return OWLRealUtils.compare(a, b) == 0; }
@Deprecated @Override public int size() { if (!_finite) throw new IllegalStateException(); Number sum = 0; for (final OWLRealInterval i : _intervals) { sum = OWLRealUtils.integerSum(sum, i.size()); if (OWLRealUtils.compare(Integer.MAX_VALUE, sum) <= 0) return Integer.MAX_VALUE; } return sum.intValue(); }
@Override public Number next() { if (_next == null) throw new NoSuchElementException(); final Number n = _next; if (_last != null && OWLRealUtils.compare(_next, _last) == 0) _next = null; else _next = _increment ? OWLRealUtils.integerIncrement(_next) : OWLRealUtils.integerDecrement(_next); return n; }
@Override public Number next() { if (_next == null) throw new NoSuchElementException(); final Number n = _next; if (_last != null && OWLRealUtils.compare(_next, _last) == 0) _next = null; else _next = _increment ? OWLRealUtils.integerIncrement(_next) : OWLRealUtils.integerDecrement(_next); return n; }
@Override public boolean containsAtLeast(final int n) { if (n <= 0) return true; Number sum = _containsNaN ? 1 : 0; for (final FloatingPointInterval<T> i : _intervals) { sum = OWLRealUtils.integerSum(sum, i.size()); if (OWLRealUtils.compare(sum, n) >= 0) return true; } return false; }
@Override public boolean containsAtLeast(final int n) { if (n <= 0) return true; Number sum = _containsNaN ? 1 : 0; for (final FloatingPointInterval<T> i : _intervals) { sum = OWLRealUtils.integerSum(sum, i.size()); if (OWLRealUtils.compare(sum, n) >= 0) return true; } return false; }
@Override public boolean containsAtLeast(final int n) { if (!_finite || n <= 0) return true; Number sum = 0; for (final OWLRealInterval i : _intervals) { sum = OWLRealUtils.integerSum(sum, i.size()); if (OWLRealUtils.compare(n, sum) <= 0) return true; } return false; }
@Override public boolean containsAtLeast(final int n) { if (!_finite || n <= 0) return true; Number sum = 0; for (final OWLRealInterval i : _intervals) { sum = OWLRealUtils.integerSum(sum, i.size()); if (OWLRealUtils.compare(n, sum) <= 0) return true; } return false; }
@Override public boolean containsAtLeast(final int n) { if (n <= 0) return true; Number sum = _containsNaN ? 1 : 0; for (final FloatingPointInterval<T> i : _intervals) { sum = OWLRealUtils.integerSum(sum, i.size()); if (OWLRealUtils.compare(sum, n) >= 0) return true; } return false; }
public AbstractDerivedIntegerType(final ATermAppl name, final Number lower, final Number upper) { super(name); if (lower != null && !OWLRealUtils.isInteger(lower)) throw new IllegalArgumentException(); if (upper != null && !OWLRealUtils.isInteger(upper)) throw new IllegalArgumentException(); if (lower != null && upper != null && OWLRealUtils.compare(lower, upper) > 0) throw new IllegalArgumentException(); final IntegerInterval i = new IntegerInterval(lower == null ? null : OWLRealUtils.getCanonicalObject(lower), upper == null ? null : OWLRealUtils.getCanonicalObject(upper)); _dataRange = new RestrictedRealDatatype(this, i, null, null); }
public AbstractDerivedIntegerType(final ATermAppl name, final Number lower, final Number upper) { super(name); if (lower != null && !OWLRealUtils.isInteger(lower)) throw new IllegalArgumentException(); if (upper != null && !OWLRealUtils.isInteger(upper)) throw new IllegalArgumentException(); if (lower != null && upper != null && OWLRealUtils.compare(lower, upper) > 0) throw new IllegalArgumentException(); final IntegerInterval i = new IntegerInterval(lower == null ? null : OWLRealUtils.getCanonicalObject(lower), upper == null ? null : OWLRealUtils.getCanonicalObject(upper)); _dataRange = new RestrictedRealDatatype(this, i, null, null); }
/** * Get the subinterval less than n * * @param n * @return a new interval, formed by intersecting this interval with (-inf,n) or <code>null</code> if that intersection is empty */ public ContinuousRealInterval less(final Number n) { if (boundUpper() && OWLRealUtils.compare(n, getUpper()) > 0) return this; else if (boundLower() && OWLRealUtils.compare(n, getLower()) <= 0) return null; return new ContinuousRealInterval(getLower(), n, inclusiveLower(), false); }
private static int compareUpperLower(final OWLRealInterval a, final OWLRealInterval b) { int ul; if (!a.boundUpper()) ul = 1; else if (!b.boundLower()) ul = 1; else ul = OWLRealUtils.compare(a.getUpper(), b.getLower()); return ul; }
private static int compareUpperLower(final ContinuousRealInterval a, final ContinuousRealInterval b) { int ul; if (!a.boundUpper()) ul = 1; else if (!b.boundLower()) ul = 1; else ul = OWLRealUtils.compare(a.getUpper(), b.getLower()); return ul; }
private static int compareUpperLower(final ContinuousRealInterval a, final ContinuousRealInterval b) { int ul; if (!a.boundUpper()) ul = 1; else if (!b.boundLower()) ul = 1; else ul = OWLRealUtils.compare(a.getUpper(), b.getLower()); return ul; }
private static int compareUpperLower(final OWLRealInterval a, final OWLRealInterval b) { int ul; if (!a.boundUpper()) ul = 1; else if (!b.boundLower()) ul = 1; else ul = OWLRealUtils.compare(a.getUpper(), b.getLower()); return ul; }
/** * Get the subinterval less than n * * @param n * @return a new interval, formed by intersecting this interval with (-inf,n) or <code>null</code> if that intersection is empty */ public OWLRealInterval less(final Number n) { if (boundUpper() && OWLRealUtils.compare(n, getUpper()) > 0) return this; else if (boundLower() && OWLRealUtils.compare(n, getLower()) <= 0) return null; return new OWLRealInterval(getLower(), n, inclusiveLower(), false, getType()); }
/** * Get the subinterval greater than n * * @param n * @return a new interval, formed by intersecting this interval with (n,+inf) or <code>null</code> if that intersection is empty */ public OWLRealInterval greater(final Number n) { if (boundLower() && OWLRealUtils.compare(n, getLower()) < 0) return this; else if (boundUpper() && OWLRealUtils.compare(n, getUpper()) >= 0) return null; return new OWLRealInterval(n, getUpper(), false, inclusiveUpper(), getType()); }
@Test public void compareWithRational() { assertTrue(compare(decimal("0.333"), rational(1, 3)) < 0); assertTrue(compare(decimal("0.334"), rational(1, 3)) > 0); assertTrue(compare(decimal("0.25"), rational(1, 4)) == 0); assertTrue(compare(2, rational(42, 14)) < 0); assertTrue(compare(3, rational(42, 14)) == 0); assertTrue(compare(4, rational(42, 14)) > 0); }