public VariableNode getVariableNodeNoMutation( TempDescriptor td ) was added for...
authorstephey <stephey>
Wed, 7 Jul 2010 21:56:49 +0000 (21:56 +0000)
committerstephey <stephey>
Wed, 7 Jul 2010 21:56:49 +0000 (21:56 +0000)
commitc7acf7a7bdd3bc1f0eb8e7e56e5ad82cc6023145
tree2433d866921d865fbe7e659c5fe5bcf54fcd1d7e
parenteb4445c1d0faad730d18eaea849503e005e28821
public VariableNode getVariableNodeNoMutation( TempDescriptor td ) was added for client modules to access the Reachgraph after the analysis is done and no modifications are to be made by the client module.
Robust/src/Analysis/Disjoint/ReachGraph.java