public WorldGraph(World world) { if (world == null) { return; } this.world = world; this.world.SetCheckpointCollector(this.checkpointCollector = new CheckpointCollector()); this.graph = this.CreateGraph(world); }
public Graph(CheckpointCollector checkpointCollector) { this.checkpointCollector = checkpointCollector; }