state machines for traverers seem to be working for small examples
authorjjenista <jjenista>
Thu, 10 Mar 2011 22:12:05 +0000 (22:12 +0000)
committerjjenista <jjenista>
Thu, 10 Mar 2011 22:12:05 +0000 (22:12 +0000)
commit7034316ea7bcf724d2b34584b4cf2fa1d7c5dad3
treedb7d0b1178d5174dd10fb37a527fd56f9313348d
parente6e66e92c428f07fd6795be672c473f05cf00d4f
state machines for traverers seem to be working for small examples
Robust/src/Analysis/Disjoint/BuildStateMachines.java
Robust/src/Analysis/Disjoint/Canonical.java
Robust/src/Analysis/Disjoint/DisjointAnalysis.java
Robust/src/Analysis/Disjoint/ReachGraph.java
Robust/src/Analysis/Disjoint/SMFEState.java
Robust/src/Analysis/Disjoint/StateMachineForEffects.java
Robust/src/Tests/dfj/case3/test.java