Index

add	Combinatorics.Battleship.Count.Counter
addFrontierFleet	Combinatorics.Battleship.Count.ShortenShip
addFrontierToDistr	Combinatorics.Battleship.Count.ShortenShip.Distribution
addRowToDistr	Combinatorics.Battleship.Count.ShortenShip.Distribution
assigns	Combinatorics.Battleship.SetCover
AssignShip	Combinatorics.Battleship.SetCover
AssignShipBitSet	Combinatorics.Battleship.SetCover
assignsShip	Combinatorics.Battleship.SetCover
assignsSquare	Combinatorics.Battleship.SetCover
asumTakeFrontier	Combinatorics.Battleship.Count.ShortenShip
atEnd	Combinatorics.Battleship.Count.ShortenShip
avg	Combinatorics.Battleship.Count.ShortenShip.Distribution
baseCase
1 (Function)	Combinatorics.Battleship.Count.ShortenShip
2 (Function)	Combinatorics.Battleship.Count.ShortenShip.Distribution
blockBounded	Combinatorics.Battleship.Count.Frontier
Blocked	Combinatorics.Battleship.Count.Frontier
Board
1 (Type/Class)	Combinatorics.Battleship
2 (Data Constructor)	Combinatorics.Battleship
boardCoords	Combinatorics.Battleship.SetCover
boardFromShips	Combinatorics.Battleship.Enumeration
Box
1 (Type/Class)	Combinatorics.Battleship.Enumeration
2 (Data Constructor)	Combinatorics.Battleship.Enumeration
boxSizes	Combinatorics.Battleship.Enumeration
bucketSize
1 (Function)	Combinatorics.Battleship.Count.ShortenShip
2 (Function)	Combinatorics.Battleship.Count.ShortenShip.Distribution
C	Combinatorics.Battleship.Count.Counter
canonicalFrontier	Combinatorics.Battleship.Count.ShortenShip
charmapFromShip	Combinatorics.Battleship.Enumeration
Composed	Combinatorics.Battleship.Count.Counter
configurations	Combinatorics.Battleship.Enumeration
configurationsInFragment	Combinatorics.Battleship.Enumeration
configurationsTouching	Combinatorics.Battleship.Enumeration
constant	Combinatorics.Battleship.Count.ShortenShip.Distribution
Count
1 (Type/Class)	Combinatorics.Battleship.Count.ShortenShip
2 (Type/Class)	Combinatorics.Battleship.Count.ShortenShip.Distribution
count
1 (Function)	Combinatorics.Battleship.Enumeration
2 (Function)	Combinatorics.Battleship.Count.ShortenShip
count10x10	Combinatorics.Battleship.Count.ShortenShip
count8x8
1 (Function)	Combinatorics.Battleship.Enumeration
2 (Function)	Combinatorics.Battleship.Count.ShortenShip
countBounded	Combinatorics.Battleship.Count.ShortenShip
countBoundedFleetsFromMap	Combinatorics.Battleship.Count.ShortenShip
countBoundedFleetsFromMap_	Combinatorics.Battleship.Count.ShortenShip
countBoundedFromMap	Combinatorics.Battleship.Count.ShortenShip
CountDistr	Combinatorics.Battleship.Count.ShortenShip.Distribution
CountDistrMap	Combinatorics.Battleship.Count.ShortenShip.Distribution
CountDistrPath	Combinatorics.Battleship.Count.ShortenShip.Distribution
countExternal
1 (Function)	Combinatorics.Battleship.Count.ShortenShip
2 (Function)	Combinatorics.Battleship.Count.ShortenShip.Distribution
countExternalGen	Combinatorics.Battleship.Count.ShortenShip
countExternalReturn	Combinatorics.Battleship.Count.ShortenShip
countFleets	Combinatorics.Battleship.Count.ShortenShip
countFromDistr	Combinatorics.Battleship.Count.ShortenShip.Distribution
CountMap
1 (Type/Class)	Combinatorics.Battleship.Count.ShortenShip
2 (Type/Class)	Combinatorics.Battleship.Count.ShortenShip.Distribution
CountMapPath	Combinatorics.Battleship.Count.ShortenShip
countSingleKind	Combinatorics.Battleship.Count.ShortenShip
countStandard	Combinatorics.Battleship.Count.ShortenShip
countTouching	Combinatorics.Battleship.Count.ShortenShip
countTouchingExternalReturn	Combinatorics.Battleship.Count.ShortenShip
cumulate	Combinatorics.Battleship.Fleet
dec	Combinatorics.Battleship.Fleet
dilate	Combinatorics.Battleship.Count.Frontier
Distr
1 (Type/Class)	Combinatorics.Battleship.Count.ShortenShip.Distribution
2 (Data Constructor)	Combinatorics.Battleship.Count.ShortenShip.Distribution
distributionBoundedExternal	Combinatorics.Battleship.Count.ShortenShip.Distribution
distributionExternalList	Combinatorics.Battleship.Count.ShortenShip.Distribution
empty
1 (Function)	Combinatorics.Battleship.Fleet
2 (Function)	Combinatorics.Battleship.Count.Frontier
emptyBoard	Combinatorics.Battleship.Enumeration
english	Combinatorics.Battleship.Fleet
enumerateFirst	Combinatorics.Battleship.SetCover
enumerateGen	Combinatorics.Battleship.SetCover
enumerateMixed	Combinatorics.Battleship.SetCover
enumerateRandom	Combinatorics.Battleship.SetCover
enumerateShip	Combinatorics.Battleship.SetCover
enumerateStandard	Combinatorics.Battleship.Enumeration
estimateDistribution	Combinatorics.Battleship.SetCover
exactDistribution	Combinatorics.Battleship.SetCover
Fleet	Combinatorics.Battleship
fleetAtFrontier	Combinatorics.Battleship.Count.ShortenShip
fleetFromSizes	Combinatorics.Battleship.Enumeration
foldMap	Combinatorics.Battleship.Count.Frontier
formatAbsDistr	Combinatorics.Battleship.SetCover
formatBoard
1 (Function)	Combinatorics.Battleship.Enumeration
2 (Function)	Combinatorics.Battleship.SetCover
formatDistr	Combinatorics.Battleship.SetCover
formatShips	Combinatorics.Battleship.Enumeration
Free	Combinatorics.Battleship.Count.Frontier
fromList
1 (Function)	Combinatorics.Battleship.Fleet
2 (Function)	Combinatorics.Battleship.Count.Frontier
3 (Function)	Combinatorics.Battleship.Count.CountMap
fromListExternal	Combinatorics.Battleship.Count.CountMap
fromListStorable	Combinatorics.Battleship.Count.CountMap
fromMap	Combinatorics.Battleship.Count.CountMap
fromSizes	Combinatorics.Battleship.Fleet
fromString	Combinatorics.Battleship.Count.Frontier
fullBoard	Combinatorics.Battleship.Enumeration
genFleet	Combinatorics.Battleship.Count.ShortenShip
genShip	Combinatorics.Battleship.Count.ShortenShip
german	Combinatorics.Battleship.Fleet
getDistr	Combinatorics.Battleship.Count.ShortenShip.Distribution
getRow	Combinatorics.Battleship.Count.ShortenShip.Distribution
getSize	Combinatorics.Battleship.Size
guardCumulativeSubset	Combinatorics.Battleship.Count.ShortenShip
heightType	Combinatorics.Battleship.Count.ShortenShip.Distribution
Horizontal	Combinatorics.Battleship
inc	Combinatorics.Battleship.Fleet
incSize	Combinatorics.Battleship.Size
insertNew	Combinatorics.Battleship.Count.Frontier
insertShip	Combinatorics.Battleship.Enumeration
insertVertical	Combinatorics.Battleship.Count.ShortenShip
intersectBox	Combinatorics.Battleship.Enumeration
IOCountDistrPath
1 (Type/Class)	Combinatorics.Battleship.Count.ShortenShip.Distribution
2 (Data Constructor)	Combinatorics.Battleship.Count.ShortenShip.Distribution
isFree	Combinatorics.Battleship.Count.Frontier
KeyCount	Combinatorics.Battleship.Count.CountMap
listsFromBoard	Combinatorics.Battleship.SetCover
lookup
1 (Function)	Combinatorics.Battleship.Fleet
2 (Function)	Combinatorics.Battleship.Count.Frontier
main	Combinatorics.Battleship.Enumeration
mapToVector	Combinatorics.Battleship.Count.Frontier
maxShipSize
1 (Function)	Combinatorics.Battleship.Count.Frontier
2 (Function)	Combinatorics.Battleship.Count.ShortenShip
maxSize	Combinatorics.Battleship.Fleet
mergeBox	Combinatorics.Battleship.Enumeration
mergeMany	Combinatorics.Battleship.Count.CountMap
mergeSymmetricFrontiers	Combinatorics.Battleship.Count.ShortenShip
moveShip	Combinatorics.Battleship.Enumeration
N0	Combinatorics.Battleship.Size
n0	Combinatorics.Battleship.Size
N1	Combinatorics.Battleship.Size
n1	Combinatorics.Battleship.Size
N10	Combinatorics.Battleship.Size
n10	Combinatorics.Battleship.Size
N11	Combinatorics.Battleship.Size
N12	Combinatorics.Battleship.Size
N2	Combinatorics.Battleship.Size
n2	Combinatorics.Battleship.Size
N3	Combinatorics.Battleship.Size
n3	Combinatorics.Battleship.Size
N4	Combinatorics.Battleship.Size
n4	Combinatorics.Battleship.Size
N5	Combinatorics.Battleship.Size
n5	Combinatorics.Battleship.Size
N6	Combinatorics.Battleship.Size
n6	Combinatorics.Battleship.Size
N7	Combinatorics.Battleship.Size
n7	Combinatorics.Battleship.Size
N8	Combinatorics.Battleship.Size
n8	Combinatorics.Battleship.Size
N9	Combinatorics.Battleship.Size
n9	Combinatorics.Battleship.Size
Nat	Combinatorics.Battleship.Size
newShip	Combinatorics.Battleship.Count.ShortenShip
nextFrontier	Combinatorics.Battleship.Count.ShortenShip
nextFrontierBounded	Combinatorics.Battleship.Count.ShortenShip
nextFrontierBoundedExternal
1 (Function)	Combinatorics.Battleship.Count.ShortenShip
2 (Function)	Combinatorics.Battleship.Count.ShortenShip.Distribution
nextFrontierTouching	Combinatorics.Battleship.Count.ShortenShip
nextFrontierTouchingExternal	Combinatorics.Battleship.Count.ShortenShip
NumberOfShips
1 (Type/Class)	Combinatorics.Battleship
2 (Type/Class)	Combinatorics.Battleship.Fleet
occupying	Combinatorics.Battleship.Count.Estimate
one	Combinatorics.Battleship.Count.Counter
Orientation	Combinatorics.Battleship
overlapping	Combinatorics.Battleship.Count.Estimate
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
readFile	Combinatorics.Battleship.Count.CountMap
reduceSpace	Combinatorics.Battleship.Enumeration
reifyInt	Combinatorics.Battleship.Size
reportCount	Combinatorics.Battleship.Count.ShortenShip.Distribution
reportCounts	Combinatorics.Battleship.Count.ShortenShip
Reverse	Combinatorics.Battleship.Count.Frontier
reverse	Combinatorics.Battleship.Count.Frontier
Row
1 (Type/Class)	Combinatorics.Battleship.Count.ShortenShip.Distribution
2 (Data Constructor)	Combinatorics.Battleship.Count.ShortenShip.Distribution
rowFromFrontier	Combinatorics.Battleship.Count.ShortenShip.Distribution
rowsFromDistr	Combinatorics.Battleship.Count.ShortenShip.Distribution
runIOCountDistrPath	Combinatorics.Battleship.Count.ShortenShip.Distribution
select	Combinatorics.Battleship.SetCover
Ship
1 (Type/Class)	Combinatorics.Battleship
2 (Data Constructor)	Combinatorics.Battleship
shipArea	Combinatorics.Battleship.Enumeration
shipBounds	Combinatorics.Battleship.Enumeration
shipOutline	Combinatorics.Battleship.Enumeration
shipReserve	Combinatorics.Battleship.SetCover
shipShape	Combinatorics.Battleship.SetCover
ShipSize
1 (Type/Class)	Combinatorics.Battleship
2 (Type/Class)	Combinatorics.Battleship.Fleet
singleton
1 (Function)	Combinatorics.Battleship.Fleet
2 (Function)	Combinatorics.Battleship.Count.CountMap
Size
1 (Type/Class)	Combinatorics.Battleship.Size
2 (Data Constructor)	Combinatorics.Battleship.Size
size
1 (Function)	Combinatorics.Battleship.Size
2 (Function)	Combinatorics.Battleship.Count.CountMap
Size2
1 (Type/Class)	Combinatorics.Battleship.Count.ShortenShip.Distribution
2 (Data Constructor)	Combinatorics.Battleship.Count.ShortenShip.Distribution
size2	Combinatorics.Battleship.Count.ShortenShip.Distribution
size2FromSizes	Combinatorics.Battleship.Count.ShortenShip.Distribution
sizeOfWithSize	Combinatorics.Battleship.Count.ShortenShip.Distribution
standardBoardSize	Combinatorics.Battleship.SetCover
standardFleet	Combinatorics.Battleship.Enumeration
standardFleetList	Combinatorics.Battleship.SetCover
subset	Combinatorics.Battleship.Fleet
Succ
1 (Type/Class)	Combinatorics.Battleship.Size
2 (Data Constructor)	Combinatorics.Battleship.Size
sum	Combinatorics.Battleship.Count.Counter
sumMaps	Combinatorics.Battleship.SetCover
sumMapsStorable	Combinatorics.Battleship.SetCover
switch	Combinatorics.Battleship.Size
symmetric	Combinatorics.Battleship.Count.ShortenShip.Distribution
T
1 (Type/Class)	Combinatorics.Battleship.Fleet
2 (Type/Class)	Combinatorics.Battleship.Count.Frontier
3 (Type/Class)	Combinatorics.Battleship.Count.CountMap
tikzBrightnessField	Combinatorics.Battleship.SetCover
tmpPath
1 (Function)	Combinatorics.Battleship.Count.ShortenShip
2 (Function)	Combinatorics.Battleship.Count.ShortenShip.Distribution
toAscList	Combinatorics.Battleship.Count.CountMap
toInteger	Combinatorics.Battleship.Count.Counter
toList
1 (Function)	Combinatorics.Battleship.Fleet
2 (Function)	Combinatorics.Battleship.Count.Frontier
toMap	Combinatorics.Battleship.Count.CountMap
toSizes	Combinatorics.Battleship.Fleet
transitionFrontier	Combinatorics.Battleship.Count.ShortenShip
transitionFrontierBounded	Combinatorics.Battleship.Count.ShortenShip
transitionFrontierTouching	Combinatorics.Battleship.Count.ShortenShip
tryShip	Combinatorics.Battleship.Enumeration
tryShipsOfOneSize	Combinatorics.Battleship.Enumeration
Use	Combinatorics.Battleship.Count.Frontier
Vertical
1 (Data Constructor)	Combinatorics.Battleship
2 (Data Constructor)	Combinatorics.Battleship.Count.Frontier
widthRange	Combinatorics.Battleship.Count.ShortenShip
withReport	Combinatorics.Battleship.Count.ShortenShip.Distribution
writeFile	Combinatorics.Battleship.Count.CountMap
writeSorted	Combinatorics.Battleship.Count.CountMap
writeTmpCountMap	Combinatorics.Battleship.Count.ShortenShip
writeTmps	Combinatorics.Battleship.Count.ShortenShip
Zero
1 (Type/Class)	Combinatorics.Battleship.Size
2 (Data Constructor)	Combinatorics.Battleship.Size
zero	Combinatorics.Battleship.Count.Counter