Searched refs:STATUS_MERGED_KNOWN (Results 1 – 2 of 2) sorted by relevance
93 STATUS_MERGED_KNOWN, enumerator
251 status = STATUS_MERGED_KNOWN; in setEqual()266 status = STATUS_MERGED_KNOWN; in setEqual()801 if( status==EqualityQueryInstProp::STATUS_MERGED_KNOWN ){ in propagate()