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