public boolean isSameAs ( UnconditionalValueDerefSet otherFact ) { return valueNumbersUnconditionallyDereferenced . equals ( otherFact . valueNumbersUnconditionallyDereferenced ) && derefLocationSetMap . equals ( otherFact . derefLocationSetMap ) ; }
Return whether or not this dataflow fact is identical to the one given .