heur_shiftandpropagate.h 2.33 KB