Refactoring slicing code to unify forward/backward slicing.
authorAndrew Bernat <bernat@brie.cs.wisc.edu>
Wed, 16 Jun 2010 19:30:43 +0000 (14:30 -0500)
committerAndrew Bernat <bernat@brie.cs.wisc.edu>
Wed, 16 Jun 2010 19:30:43 +0000 (14:30 -0500)
commit310418a8dbda83b8a11aac0346b46f742b040128
tree604c6ba0fcce8b74832496eb3308dcf46732147b
parent142f12cf8392193e877cab5bc13ea120fc021f6b
Refactoring slicing code to unify forward/backward slicing.
symEval/h/slicing.h
symEval/src/slicing.C