@Override public void propogateDomain(final Role role, final Map<ATermAppl, Set<Set<ATermAppl>>> domains) { if (domains == null || domains.isEmpty()) return; for (final Map.Entry<ATermAppl, Set<Set<ATermAppl>>> e : domains.entrySet()) { final Set<ATermAppl> explanation = e.getValue().iterator().next(); final ATermAppl domain = e.getKey(); final ATermAppl normalized = ATermUtils.normalize(domain); for (final Role s : role.getSubRoles()) { final DependencySet explainSub = role.getExplainSub(s.getName()); final DependencySet ds = explainSub.union(explanation, true); s.addDomain(normalized, ds); } } }
@Override public void propogateDomain(final Role role, final Map<ATermAppl, Set<Set<ATermAppl>>> domains) { if (domains == null || domains.isEmpty()) return; for (final Map.Entry<ATermAppl, Set<Set<ATermAppl>>> e : domains.entrySet()) { final Set<ATermAppl> explanation = e.getValue().iterator().next(); final ATermAppl domain = e.getKey(); final ATermAppl normalized = ATermUtils.normalize(domain); for (final Role s : role.getSubRoles()) { final DependencySet explainSub = role.getExplainSub(s.getName()); final DependencySet ds = explainSub.union(explanation, true); s.addDomain(normalized, ds); } } }
final boolean added = topObjectRole.addDomain(newUC, DependencySet.INDEPENDENT);
final boolean added = topObjectRole.addDomain(newUC, DependencySet.INDEPENDENT);
final boolean added = topObjectRole.addDomain(newUC, DependencySet.INDEPENDENT);