Stratadox / PuzzleSolver

puzzles/Sudoku/Sudoku.php

Spacing +1 added lines, -1 removed lines

@@ -45,7 +45,7 @@
             return Moves::none();
         }
         [$r, $c] = $this->firstEmptyPosition;
-        return Entry::allPossibilitiesFor($r, $c)->filterWith(function (Entry $entry) {
+        return Entry::allPossibilitiesFor($r, $c)->filterWith(function(Entry $entry) {
             return $this->allows($entry);
         });
     }

puzzles/Sudoku/Entry.php

Spacing +1 added lines, -1 removed lines

@@ -26,7 +26,7 @@
     public static function allPossibilitiesFor(int $row, int $column): Moves
     {
         return new Moves(...array_map(
-            static function (int $number) use ($row, $column): Entry {
+            static function(int $number) use ($row, $column): Entry {
                 return new self($number, $row, $column);
             },
             range(1, 9)

puzzles/SlidingCrates/SlidingCratesPuzzle.php

Spacing +1 added lines, -1 removed lines

@@ -67,7 +67,7 @@
         foreach ($crateCoordinates as $id => $coordinates) {
             $crates[] = Crate::fromCoordinates($id, ...$coordinates);
         }
-        usort($crates, static function (Crate $crate1, Crate $crate2): int {
+        usort($crates, static function(Crate $crate1, Crate $crate2): int {
             return $crate1->id() <=> $crate2->id();
         });
 

puzzles/SlidingCrates/Room.php

Spacing +1 added lines, -1 removed lines

@@ -70,7 +70,7 @@
     public function possiblePushes(): Moves
     {
         return Push::allFor($this->crates)
-            ->filterWith(function (Push $push): bool {
+            ->filterWith(function(Push $push): bool {
                 return $this->crates->withId($push->crateId())->canPush(
                     $push,
                     $this->crates,

puzzles/Maze/MazePuzzle.php

Spacing +1 added lines, -1 removed lines

@@ -49,7 +49,7 @@
 
     public function possibleMoves(): Moves
     {
-        return Action::all()->filterWith(function (Action $action) {
+        return Action::all()->filterWith(function(Action $action) {
             return $this->maze->isValidPosition($this->hero->after($action));
         });
     }

puzzles/WolfGoatCabbage/Crossing.php

Spacing +1 added lines, -1 removed lines

@@ -24,7 +24,7 @@
     {
         return new Moves(
             new Crossing($riverbank->isStart(), null),
-            ...array_map(static function (Purchase $purchase) use ($riverbank) {
+            ...array_map(static function(Purchase $purchase) use ($riverbank) {
                 return new Crossing($riverbank->isStart(), $purchase);
             }, $riverbank->purchases())
         );

puzzles/WolfGoatCabbage/Farmer.php

Spacing +1 added lines, -1 removed lines

@@ -37,7 +37,7 @@
     public function possibleCrossings(): Moves
     {
         return Crossing::allCrossingsFor($this->currentBank)
-            ->filterWith(function (Crossing $crossing) {
+            ->filterWith(function(Crossing $crossing) {
                 return $this->currentBank->canTakeAway($crossing->bringAlong());
             });
     }

src/PuzzleSolverFactory.php

Spacing +2 added lines, -4 removed lines

@@ -26,8 +26,7 @@ 
         SearchSettings $settings
     ): PuzzleSolver {
         return $puzzle->singleSolution() ?
-            EagerSolver::using($this->add($settings, $this->eagerStrategy($puzzle))) :
-            LazySolver::using($this->add($settings, $this->lazyStrategy($puzzle)));
+            EagerSolver::using($this->add($settings, $this->eagerStrategy($puzzle))) : LazySolver::using($this->add($settings, $this->lazyStrategy($puzzle)));
     }
 
     private function add(
@@ -67,8 +66,7 @@ 
         }
         return VisitedNodeSkipperFactory::using(
             $puzzle->isExhausting() ?
-                DepthFirstStrategyFactory::make() :
-                BreadthFirstStrategyFactory::make()
+                DepthFirstStrategyFactory::make() : BreadthFirstStrategyFactory::make()
         );
     }
 

sample/puzzle.php

Spacing +2 added lines, -3 removed lines

@@ -41,8 +41,7 @@ 
         isset($puzzle['heuristic']) ? new $puzzle['heuristic']() : null
     );
     $renderer = ($puzzle['display'] ?? 'states') === 'states' ?
-        PuzzleStatesToFileRenderer::fromFilenameAndSeparator(OUT, $sep, $time) :
-        MovesToFileRenderer::fromFilenameAndSeparator(OUT, $sep, $time);
+        PuzzleStatesToFileRenderer::fromFilenameAndSeparator(OUT, $sep, $time) : MovesToFileRenderer::fromFilenameAndSeparator(OUT, $sep, $time);
 
     $puzzleInfo[$puzzle['name']] = [];
     foreach (scandir($dir) as $file) {
@@ -54,7 +53,7 @@ 
             'factory' => $factories[$puzzle['type']],
             'description' => $description,
             'renderer' => $renderer,
-            'isDefault' => (($puzzle['default'] ?? '') . '.txt') ===  $file,
+            'isDefault' => (($puzzle['default'] ?? '') . '.txt') === $file,
             'isTheOnlyOne' => (bool) ($puzzle['level'] ?? false),
         ];
     }