@Override public boolean contains(final Object value) { return !_datarange.contains(value); }
if (!dr.isEmpty()) drs.add(dr); if (dr.isEmpty()) return false; if (dr.containsAtLeast(inequalityCount(ne, i) + 1)) if (dr.isFinite() && dr.isEnumerable() && !dr.containsAtLeast(2)) final Object c = dr.valueIterator().next(); it.remove(); consts.add(i); if (dr.containsAtLeast(min)) its[i] = drs[i].valueIterator(); its[i] = drs[i].valueIterator(); values[i] = its[i].next(); i--;
if (dr.isEmpty()) return EMPTY_RANGE; ranges.add(dr); final Iterator<?> it = enumeration.valueIterator(); boolean same = true; while (it.hasNext()) boolean permit = true; for (final DataRange<?> dr : ranges) if (dr != enumeration && !dr.contains(value)) ret = getDataRange(dconjunction); if (!ret.isFinite()) return TRIVIALLY_SATISFIABLE;
@Override public boolean containsAtLeast(final int n, final Collection<ATermAppl> ranges) throws UnrecognizedDatatypeException, InvalidConstrainingFacetException, InvalidLiteralException { final ATermAppl and = ATermUtils.makeAnd(ATermUtils.makeList(ranges)); final ATermAppl dnf = DNF.dnf(expander.expand(and, namedDataRanges)); if (ATermUtils.isOr(dnf)) { final List<DataRange<?>> disjuncts = new ArrayList<>(); for (ATermList l = (ATermList) dnf.getArgument(0); !l.isEmpty(); l = l.getNext()) { final DataRange<?> dr = normalizeVarRanges((ATermAppl) l.getFirst()); if (!dr.isEmpty()) disjuncts.add(dr); } return getDisjunction(disjuncts).containsAtLeast(n); } else return normalizeVarRanges(dnf).containsAtLeast(n); }
@Override public Iterator<?> valueIterator(final Collection<ATermAppl> dataranges) throws InvalidConstrainingFacetException, InvalidLiteralException, UnrecognizedDatatypeException { final ATermAppl and = ATermUtils.makeAnd(ATermUtils.makeList(dataranges)); final ATermAppl dnf = DNF.dnf(expander.expand(and, namedDataRanges)); if (ATermUtils.isOr(dnf)) { final List<DataRange<?>> disjuncts = new ArrayList<>(); for (ATermList l = (ATermList) dnf.getArgument(0); !l.isEmpty(); l = l.getNext()) disjuncts.add(normalizeVarRanges((ATermAppl) l.getFirst())); return getDisjunction(disjuncts).valueIterator(); } else return normalizeVarRanges(dnf).valueIterator(); }
if (!dr.isEmpty()) drs.add(dr); if (dr.isEmpty()) return false; if (dr.containsAtLeast(inequalityCount(ne, i) + 1)) if (dr.isFinite() && dr.isEnumerable() && !dr.containsAtLeast(2)) final Object c = dr.valueIterator().next(); it.remove(); consts.add(i); if (dr.containsAtLeast(min)) its[i] = drs[i].valueIterator(); its[i] = drs[i].valueIterator(); values[i] = its[i].next(); i--;
if (dr.isEmpty()) return EMPTY_RANGE; ranges.add(dr); final Iterator<?> it = enumeration.valueIterator(); boolean same = true; while (it.hasNext()) boolean permit = true; for (final DataRange<?> dr : ranges) if (dr != enumeration && !dr.contains(value)) ret = getDataRange(dconjunction); if (!ret.isFinite()) return TRIVIALLY_SATISFIABLE;
@Override public boolean containsAtLeast(final int n, final Collection<ATermAppl> ranges) throws UnrecognizedDatatypeException, InvalidConstrainingFacetException, InvalidLiteralException { final ATermAppl and = ATermUtils.makeAnd(ATermUtils.makeList(ranges)); final ATermAppl dnf = DNF.dnf(expander.expand(and, namedDataRanges)); if (ATermUtils.isOr(dnf)) { final List<DataRange<?>> disjuncts = new ArrayList<>(); for (ATermList l = (ATermList) dnf.getArgument(0); !l.isEmpty(); l = l.getNext()) { final DataRange<?> dr = normalizeVarRanges((ATermAppl) l.getFirst()); if (!dr.isEmpty()) disjuncts.add(dr); } return getDisjunction(disjuncts).containsAtLeast(n); } else return normalizeVarRanges(dnf).containsAtLeast(n); }
@Override public Iterator<?> valueIterator(final Collection<ATermAppl> dataranges) throws InvalidConstrainingFacetException, InvalidLiteralException, UnrecognizedDatatypeException { final ATermAppl and = ATermUtils.makeAnd(ATermUtils.makeList(dataranges)); final ATermAppl dnf = DNF.dnf(expander.expand(and, namedDataRanges)); if (ATermUtils.isOr(dnf)) { final List<DataRange<?>> disjuncts = new ArrayList<>(); for (ATermList l = (ATermList) dnf.getArgument(0); !l.isEmpty(); l = l.getNext()) disjuncts.add(normalizeVarRanges((ATermAppl) l.getFirst())); return getDisjunction(disjuncts).valueIterator(); } else return normalizeVarRanges(dnf).valueIterator(); }
@Override public boolean contains(final Object value) { return !_datarange.contains(value); }
private boolean containedIn(final Object value, final ATermAppl dconjunction) throws InvalidConstrainingFacetException, InvalidLiteralException, UnrecognizedDatatypeException { if (ATermUtils.isAnd(dconjunction)) { for (ATermList l = (ATermList) dconjunction.getArgument(0); !l.isEmpty(); l = l.getNext()) if (!getDataRange((ATermAppl) l.getFirst()).contains(value)) return false; return true; } else return getDataRange(dconjunction).contains(value); }
private boolean containedIn(final Object value, final ATermAppl dconjunction) throws InvalidConstrainingFacetException, InvalidLiteralException, UnrecognizedDatatypeException { if (ATermUtils.isAnd(dconjunction)) { for (ATermList l = (ATermList) dconjunction.getArgument(0); !l.isEmpty(); l = l.getNext()) if (!getDataRange((ATermAppl) l.getFirst()).contains(value)) return false; return true; } else return getDataRange(dconjunction).contains(value); }