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 superrole of this role * * @param r */ @Override public void addSuperRole(final Role r) { final DependencySet ds = OpenlletOptions.USE_TRACING ? new DependencySet(ATermUtils.makeSubProp(_name, r.getName())) : DependencySet.INDEPENDENT; addSuperRole(r, ds); }
/** * r is superrole of this role * * @param r */ @Override public void addSuperRole(final Role r) { final DependencySet ds = OpenlletOptions.USE_TRACING ? new DependencySet(ATermUtils.makeSubProp(_name, r.getName())) : DependencySet.INDEPENDENT; addSuperRole(r, ds); }