src/index/utils.c
// add role s to the subsumer list of r
// returns 1 if added, 0 otherwise
// note that it maintains both the array and the hash table
// of subsumers. the reason for keeping the subsumers twice
// is performance in saturation
add role s to the subsumer list of r
returns 1 if added, 0 otherwise
note that it maintains both the array and the hash table
of subsumers. the reason for keeping the subsumers twice
is performance in saturation
add role s to the subsumer list of r returns 1 if added 0 otherwise note that it maintains both the array and the hash table of subsumers . the reason for keeping the subsumers twice is performance in saturation
int add_to_role_subsumer_list(ObjectPropertyExpression* r, ObjectPropertyExpression* s) {
	if (SET_ADD(s, &(r->subsumers))) {
		list_add(s, &(r->subsumer_list));
		return 1;
	}
	return 0;
}
int add_to_role_subsumer_list ( ObjectPropertyExpression * r , ObjectPropertyExpression * s ) { if ( SET_ADD ( s , & ( r -> subsumers ) ) ) { list_add ( s , & ( r -> subsumer_list ) ) ; return 1 ; } return 0 ; }
add role s to the subsumer list of r
returns 1 if added, 0 otherwise
note that it maintains both the array and the hash table
of subsumers.
add role s to the subsumer list of r returns 1 if added 0 otherwise note that it maintains both the array and the hash table of subsumers .