The global state used during state full search to store all the visited states.
ZingerStateTable Class Documentation
Exemple #1
0
 public ZingExplorerExhaustiveSearch()
     : base()
 {
     GlobalStateTable = new ZingerStateTable();
     GLobalFrontierSet = new FrontierSet(StartStateTraversalInfo);
 }
Exemple #2
0
 public ZingExplorerNDFSLiveness()
 {
     GlobalStateTable = new ZingerStateTable();
 }