public void removeSubRole(Role r) { subRoles = SetUtils.remove( r, subRoles ); }
public void removeSubRole(Role r) { subRoles = SetUtils.remove( r, subRoles ); }
public void removeSubRoleChain(ATermList chain) { subRoleChains = SetUtils.remove( chain, subRoleChains ); explainSub.remove(chain); if( isTransitive() && ATermUtils.isTransitiveChain( chain, name ) ) { setTransitive( false, null); } }
public void removeSubRoleChain(ATermList chain) { subRoleChains = SetUtils.remove( chain, subRoleChains ); explainSub.remove(chain); if( isTransitive() && ATermUtils.isTransitiveChain( chain, name ) ) { setTransitive( false, null); } }
/** * @param functionalSuper The functionalSuper to set. */ public void addFunctionalSuper(Role r) { for( Role fs : functionalSupers ) { if( fs.isSubRoleOf( r ) ) { functionalSupers = SetUtils.remove( fs, functionalSupers ); break; } else if( r.isSubRoleOf( fs ) ) { return; } } functionalSupers = SetUtils.add( r, functionalSupers ); }
/** * @param functionalSuper The functionalSuper to set. */ public void addFunctionalSuper(Role r) { for( Role fs : functionalSupers ) { if( fs.isSubRoleOf( r ) ) { functionalSupers = SetUtils.remove( fs, functionalSupers ); break; } else if( r.isSubRoleOf( fs ) ) { return; } } functionalSupers = SetUtils.add( r, functionalSupers ); }