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 |