P1 | Combinatorics.Battleship.Size |
P10 | Combinatorics.Battleship.Size |
P11 | Combinatorics.Battleship.Size |
P12 | Combinatorics.Battleship.Size |
P2 | Combinatorics.Battleship.Size |
P3 | Combinatorics.Battleship.Size |
P4 | Combinatorics.Battleship.Size |
P5 | Combinatorics.Battleship.Size |
P6 | Combinatorics.Battleship.Size |
P7 | Combinatorics.Battleship.Size |
P8 | Combinatorics.Battleship.Size |
P9 | Combinatorics.Battleship.Size |
Path | |
1 (Type/Class) | Combinatorics.Battleship.Count.CountMap |
2 (Data Constructor) | Combinatorics.Battleship.Count.CountMap |
peekWithSize | Combinatorics.Battleship.Count.ShortenShip.Distribution |
Position | Combinatorics.Battleship.Count.Frontier |
printBoard | Combinatorics.Battleship.SetCover |
printMapSizes | Combinatorics.Battleship.Count.ShortenShip |
printState | Combinatorics.Battleship.SetCover |
propAdd | Combinatorics.Battleship.Count.Counter |
propCountBounded | Combinatorics.Battleship.Count.ShortenShip |
propCountExternal | Combinatorics.Battleship.Count.ShortenShip |
propCountExternalSimple | Combinatorics.Battleship.Count.ShortenShip.Distribution |
propCountExternalSymmetric | Combinatorics.Battleship.Count.ShortenShip.Distribution |
propCountExternalTotal | Combinatorics.Battleship.Count.ShortenShip.Distribution |
propCountExternalTransposed | Combinatorics.Battleship.Count.ShortenShip.Distribution |
propCountMoreTouching | Combinatorics.Battleship.Count.ShortenShip |
propCountSymmetry | Combinatorics.Battleship.Count.ShortenShip |
propCountTouchingExternal | Combinatorics.Battleship.Count.ShortenShip |
propCountTouchingTransposed | Combinatorics.Battleship.Count.ShortenShip |
propCountTransposed | Combinatorics.Battleship.Count.ShortenShip |
propCumulate | Combinatorics.Battleship.Fleet |
propDec | Combinatorics.Battleship.Fleet |
propDilate | Combinatorics.Battleship.Count.Frontier |
propInc | Combinatorics.Battleship.Fleet |
propIncDec | Combinatorics.Battleship.Fleet |
propList | Combinatorics.Battleship.Fleet |
propMerge | Combinatorics.Battleship.Count.CountMap |
propReverse10 | Combinatorics.Battleship.Count.Frontier |
propReverse4 | Combinatorics.Battleship.Count.Frontier |
propReverse5 | Combinatorics.Battleship.Count.Frontier |
propReverse6 | Combinatorics.Battleship.Count.Frontier |
propReverse7 | Combinatorics.Battleship.Count.Frontier |
propReverse8 | Combinatorics.Battleship.Count.Frontier |
propReverse9 | Combinatorics.Battleship.Count.Frontier |
propSizes | Combinatorics.Battleship.Fleet |
propSubset | Combinatorics.Battleship.Fleet |