public ZingExplorerExhaustiveSearch() : base() { GlobalStateTable = new ZingerStateTable(); GLobalFrontierSet = new FrontierSet(StartStateTraversalInfo); }
public ZingExplorerStateLessSearch() : base() { GlobalFrontierSet = new FrontierSet(StartStateTraversalInfo); maxSearchDepth = ZingerConfiguration.MaxSchedulesPerIteration; }