Added getter method to get all effects (needed for RuntimeConflictResolver.java)
authorstephey <stephey>
Wed, 22 Sep 2010 11:55:29 +0000 (11:55 +0000)
committerstephey <stephey>
Wed, 22 Sep 2010 11:55:29 +0000 (11:55 +0000)
commit63e36fe68af68f952021b5ad9624525abc75fec8
tree8013df5bdf49c4a3d3c8f3db484ca5890bfc35c3
parentdae82cf88dee967502d68fc776cb71fa53e7f603
Added getter method to get all effects (needed for RuntimeConflictResolver.java)
Robust/src/Analysis/Disjoint/EffectsAnalysis.java