Changes between Version 10 and Version 11 of GMC


Ignore:
Timestamp:
10/30/16 22:16:41 (10 years ago)
Author:
yihaoyan
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • GMC

    v10 v11  
    1616'''edu.udel.cis.vsl.civl.kripke.common.CommonStateManager.java'''[[BR]]
    1717count[[BR]]
     18maxProcs[[BR]]
     19maxCanonicId[[BR]]
     20numStatesExplored[[BR]]
     21stack[[BR]]
    1822expandedStateIDs[[BR]][[BR]]
    1923'''edu.udel.cis.vsl.civl.state.common.immutable.ImmutableStateFactory.java'''[[BR]]