src/preprocessing/utils.c
// Add a given subclass axiom to the list of subclass axioms generated during
// preprocessing
Add a given subclass axiom to the list of subclass axioms generated during
preprocessing
Add a given subclass axiom to the list of subclass axioms generated during preprocessing
void add_generated_subclass_axiom(KB* kb, SubClassOfAxiom* ax) {
	SubClassOfAxiom** tmp;
	tmp = realloc(kb->generated_subclass_axioms, (kb->generated_subclass_axiom_count + 1) * sizeof(SubClassOfAxiom*));
	assert(tmp != NULL);
	kb->generated_subclass_axioms = tmp;
	kb->generated_subclass_axioms[kb->generated_subclass_axiom_count] = ax;
	++(kb->generated_subclass_axiom_count);
}
void add_generated_subclass_axiom ( KB * kb , SubClassOfAxiom * ax ) { SubClassOfAxiom * * tmp ; tmp = realloc ( kb -> generated_subclass_axioms , ( kb -> generated_subclass_axiom_count + 1 ) * sizeof ( SubClassOfAxiom * ) ) ; assert ( tmp != NULL ) ; kb -> generated_subclass_axioms = tmp ; kb -> generated_subclass_axioms [ kb -> generated_subclass_axiom_count ] = ax ; ++ ( kb -> generated_subclass_axiom_count ) ; }
Add a given subclass axiom to the list of subclass axioms generated during
preprocessing
Add a given subclass axiom to the list of subclass axioms generated during preprocessing