This class implements the frontier set used to store frontier states after each iteration.
FrontierSet Class Documentation
Esempio n. 1
0
 public ZingExplorerExhaustiveSearch()
     : base()
 {
     GlobalStateTable = new ZingerStateTable();
     GLobalFrontierSet = new FrontierSet(StartStateTraversalInfo);
 }
Esempio n. 2
0
 public ZingExplorerStateLessSearch()
     : base()
 {
     GlobalFrontierSet = new FrontierSet(StartStateTraversalInfo);
     maxSearchDepth = ZingerConfiguration.MaxSchedulesPerIteration;
 }