@Override public RestrictedDatatype<ATermAppl> intersect(final RestrictedDatatype<?> other, final boolean negated) { if (other instanceof RestrictedTextDatatype) { final RestrictedTextDatatype that = (RestrictedTextDatatype) other; return new RestrictedTextDatatype(_dt, // _check.and(that._check), // _allowLang && that._allowLang, // SetUtils.union(_excludedValues, that._excludedValues)); } else throw new IllegalArgumentException(); }
@Override public RestrictedDatatype<ATermAppl> intersect(final RestrictedDatatype<?> other, final boolean negated) { if (other instanceof RestrictedTextDatatype) { final RestrictedTextDatatype that = (RestrictedTextDatatype) other; return new RestrictedTextDatatype(_dt, // _check.and(that._check), // _allowLang && that._allowLang, // SetUtils.union(_excludedValues, that._excludedValues)); } else throw new IllegalArgumentException(); }
/** * @param explain * @param doExplanation * @return the union as dependencySet */ public DependencySet union(final Set<ATermAppl> explain, final boolean doExplanation) { if (!doExplanation || explain.isEmpty()) return this; return new DependencySet(_branch, _depends.copy(), SetUtils.union(_explain, explain)); }
/** * @param ds * @param doExplanation * @return a new DependencySet and all the elements of <code>this</code> and <code>ds</code>. */ public DependencySet union(final DependencySet ds, final boolean doExplanation) { final IntSet newDepends = _depends.union(ds._depends); final Set<ATermAppl> newExplain = doExplanation ? // SetUtils.union(_explain, ds._explain) : // Collections.emptySet(); return new DependencySet(_branch, newDepends, newExplain); }
/** * @param explain * @param doExplanation * @return the union as dependencySet */ public DependencySet union(final Set<ATermAppl> explain, final boolean doExplanation) { if (!doExplanation || explain.isEmpty()) return this; return new DependencySet(_branch, _depends.copy(), SetUtils.union(_explain, explain)); }
/** * @param ds * @param doExplanation * @return a new DependencySet and all the elements of <code>this</code> and <code>ds</code>. */ public DependencySet union(final DependencySet ds, final boolean doExplanation) { final IntSet newDepends = _depends.union(ds._depends); final Set<ATermAppl> newExplain = doExplanation ? // SetUtils.union(_explain, ds._explain) : // Collections.emptySet(); return new DependencySet(_branch, newDepends, newExplain); }
final Set<Role> roles = SetUtils.union(r.getSubRoles(), r.getSuperRoles()); for (final Role sub : roles) switch (sub.getType())
final Set<Role> roles = SetUtils.union(r.getSubRoles(), r.getSuperRoles()); for (final Role sub : roles) switch (sub.getType())
final Set<Role> roles = SetUtils.union(r.getSubRoles(), r.getSuperRoles()); for (final Role sub : roles) switch (sub.getType())