public RoleImpl(final ATermAppl name, final PropertyType type) { _name = name; _type = type; addSubRole(this, DependencySet.INDEPENDENT); addSuperRole(this, DependencySet.INDEPENDENT); }
public RoleImpl(final ATermAppl name, final PropertyType type) { _name = name; _type = type; addSubRole(this, DependencySet.INDEPENDENT); addSuperRole(this, DependencySet.INDEPENDENT); }
/** * r is subrole of this role * * @param r */ @Override public void addSubRole(final Role r) { final DependencySet ds = OpenlletOptions.USE_TRACING ? new DependencySet(ATermUtils.makeSubProp(r.getName(), getName())) : DependencySet.INDEPENDENT; addSubRole(r, ds); }
/** * r is subrole of this role * * @param r */ @Override public void addSubRole(final Role r) { final DependencySet ds = OpenlletOptions.USE_TRACING ? new DependencySet(ATermUtils.makeSubProp(r.getName(), getName())) : DependencySet.INDEPENDENT; addSubRole(r, ds); }