/** * Add a sub role chain without dependency tracking information * * @param chain */ @Override public void addSubRoleChain(final ATermList chain) { addSubRoleChain(chain, DependencySet.INDEPENDENT); }
/** * Add a sub role chain without dependency tracking information * * @param chain */ @Override public void addSubRoleChain(final ATermList chain) { addSubRoleChain(chain, DependencySet.INDEPENDENT); }
@Override public void setTransitive(final boolean b, final DependencySet ds) { final ATermList roleChain = ATermUtils.makeList(new ATerm[] { _name, _name }); if (b) { _flags |= TRANSITIVE; _explainTransitive = ds; addSubRoleChain(roleChain, ds); } else { _flags &= ~TRANSITIVE; _explainTransitive = ds; removeSubRoleChain(roleChain); } }
@Override public void setTransitive(final boolean b, final DependencySet ds) { final ATermList roleChain = ATermUtils.makeList(new ATerm[] { _name, _name }); if (b) { _flags |= TRANSITIVE; _explainTransitive = ds; addSubRoleChain(roleChain, ds); } else { _flags &= ~TRANSITIVE; _explainTransitive = ds; removeSubRoleChain(roleChain); } }