add interface.
authoryeom <yeom>
Fri, 19 Mar 2010 00:51:39 +0000 (00:51 +0000)
committeryeom <yeom>
Fri, 19 Mar 2010 00:51:39 +0000 (00:51 +0000)
commitc5ce6ce4abd8c3c1d8f07d99782e9fbf725c6df8
tree6af2e853e3edd11f4f90aeedb65f7ada21c6503d
parentc5f01256c21ed3124eaea1f64752ec93539eb42e
add interface.
Robust/src/Analysis/Disjoint/DisjointAnalysis.java
Robust/src/Analysis/Disjoint/ReachGraph.java