LogicGrowsOnTrees-1.0.0.0.1: a parallel implementation of logic programming using distributed tree exploration

Index

abortLogicGrowsOnTrees.Parallel.Common.RequestQueue, LogicGrowsOnTrees.Parallel.Adapter.Threads
AbortedLogicGrowsOnTrees.Parallel.Main, LogicGrowsOnTrees.Parallel.Adapter.Threads
abortSupervisorLogicGrowsOnTrees.Parallel.Common.Supervisor
addProgressReceiverLogicGrowsOnTrees.Parallel.Common.RequestQueue
addWorkerLogicGrowsOnTrees.Parallel.Common.Supervisor
allFromLogicGrowsOnTrees
AllMode 
1 (Type/Class)LogicGrowsOnTrees.Parallel.ExplorationMode
2 (Data Constructor)LogicGrowsOnTrees.Parallel.ExplorationMode
AllRotationsLogicGrowsOnTrees.Examples.Queens.Advanced
allRotationsAndReflectionsOfLogicGrowsOnTrees.Examples.Queens.Advanced
allRotationsOfLogicGrowsOnTrees.Examples.Queens.Advanced
AllSymmetriesLogicGrowsOnTrees.Examples.Queens.Advanced
applyCheckpointCursorToLocationLogicGrowsOnTrees.Location
applyContextToLocationLogicGrowsOnTrees.Location
applyPathToLocationLogicGrowsOnTrees.Location
Arity 
1 (Type/Class)LogicGrowsOnTrees.Utils.PerfectTree
2 (Data Constructor)LogicGrowsOnTrees.Utils.PerfectTree
arityLogicGrowsOnTrees.Utils.PerfectTree
ArityAndDepth 
1 (Type/Class)LogicGrowsOnTrees.Utils.PerfectTree
2 (Data Constructor)LogicGrowsOnTrees.Utils.PerfectTree
b180_number_of_queens_remainingLogicGrowsOnTrees.Examples.Queens.Advanced
b180_occupied_columnsLogicGrowsOnTrees.Examples.Queens.Advanced
b180_occupied_negative_diagonalsLogicGrowsOnTrees.Examples.Queens.Advanced
b180_occupied_positive_diagonalsLogicGrowsOnTrees.Examples.Queens.Advanced
b180_occupied_right_positive_diagonalsLogicGrowsOnTrees.Examples.Queens.Advanced
b180_occupied_rowsLogicGrowsOnTrees.Examples.Queens.Advanced
b180_window_sizeLogicGrowsOnTrees.Examples.Queens.Advanced
b180_window_startLogicGrowsOnTrees.Examples.Queens.Advanced
b90_number_of_queens_remainingLogicGrowsOnTrees.Examples.Queens.Advanced
b90_occupied_negative_diagonalsLogicGrowsOnTrees.Examples.Queens.Advanced
b90_occupied_positive_diagonalsLogicGrowsOnTrees.Examples.Queens.Advanced
b90_occupied_rows_and_columnsLogicGrowsOnTrees.Examples.Queens.Advanced
b90_window_sizeLogicGrowsOnTrees.Examples.Queens.Advanced
b90_window_startLogicGrowsOnTrees.Examples.Queens.Advanced
beginSupervisorOccupiedLogicGrowsOnTrees.Parallel.Common.Supervisor
betweenLogicGrowsOnTrees
BlockingProgramLogicGrowsOnTrees.Parallel.Common.Supervisor
BoardSize 
1 (Type/Class)LogicGrowsOnTrees.Examples.Queens
2 (Data Constructor)LogicGrowsOnTrees.Examples.Queens
BranchChoiceLogicGrowsOnTrees.Path
branchingFromLocationLogicGrowsOnTrees.Location
broadcastProgressUpdateToWorkersLogicGrowsOnTrees.Parallel.Common.Supervisor
broadcastWorkloadStealToWorkersLogicGrowsOnTrees.Parallel.Common.Supervisor
CLogicGrowsOnTrees.Parallel.Common.Workgroup
CacheLogicGrowsOnTrees
cacheLogicGrowsOnTrees
CacheContextStepLogicGrowsOnTrees.Checkpoint
cacheGuardLogicGrowsOnTrees
cacheMaybeLogicGrowsOnTrees
CachePointLogicGrowsOnTrees.Checkpoint
CachePointDLogicGrowsOnTrees.Checkpoint
CacheStepLogicGrowsOnTrees.Path
changeNumberOfWorkersLogicGrowsOnTrees.Parallel.Common.Workgroup, LogicGrowsOnTrees.Parallel.Adapter.Threads
changeNumberOfWorkersAsyncLogicGrowsOnTrees.Parallel.Common.Workgroup, LogicGrowsOnTrees.Parallel.Adapter.Threads
changeNumberOfWorkersToMatchCapabilitiesLogicGrowsOnTrees.Parallel.Adapter.Threads
CheckpointLogicGrowsOnTrees.Checkpoint
CheckpointCursorLogicGrowsOnTrees.Checkpoint
CheckpointDifferentialLogicGrowsOnTrees.Checkpoint
checkpointFromContextLogicGrowsOnTrees.Checkpoint
checkpointFromCursorLogicGrowsOnTrees.Checkpoint
checkpointFromExplorationStateLogicGrowsOnTrees.Checkpoint
checkpointFromInitialPathLogicGrowsOnTrees.Checkpoint
checkpointFromIntermediateProgressLogicGrowsOnTrees.Parallel.ExplorationMode
checkpointFromSequenceLogicGrowsOnTrees.Checkpoint
checkpointFromUnexploredPathLogicGrowsOnTrees.Checkpoint
ChoiceLogicGrowsOnTrees
ChoicePointLogicGrowsOnTrees.Checkpoint
ChoicePointDLogicGrowsOnTrees.Checkpoint
ChoiceStepLogicGrowsOnTrees.Path
coloringSolutionsLogicGrowsOnTrees.Examples.MapColoring
coloringUniqueSolutionsLogicGrowsOnTrees.Examples.MapColoring
CompletedLogicGrowsOnTrees.Parallel.Main, LogicGrowsOnTrees.Parallel.Adapter.Threads
ConnectionLost 
1 (Type/Class)LogicGrowsOnTrees.Utils.Handle, LogicGrowsOnTrees.Parallel.Common.Process
2 (Data Constructor)LogicGrowsOnTrees.Utils.Handle, LogicGrowsOnTrees.Parallel.Common.Process
constructControllerLogicGrowsOnTrees.Parallel.Main
constructExplorationModeLogicGrowsOnTrees.Parallel.Main
constructTreeLogicGrowsOnTrees.Parallel.Main
ContextLogicGrowsOnTrees.Checkpoint
ContextStepLogicGrowsOnTrees.Checkpoint
controllerThreadsLogicGrowsOnTrees.Parallel.Common.RequestQueue
convertSolutionToWordLogicGrowsOnTrees.Examples.Queens.Advanced
createWorkerLogicGrowsOnTrees.Parallel.Common.Workgroup
c_LogicGrowsOnTrees_Queens_count_solutionsLogicGrowsOnTrees.Examples.Queens.Advanced
depthLogicGrowsOnTrees.Utils.PerfectTree
destroyWorkerLogicGrowsOnTrees.Parallel.Common.Workgroup
disableSupervisorDebugModeLogicGrowsOnTrees.Parallel.Common.Supervisor
Driver 
1 (Type/Class)LogicGrowsOnTrees.Parallel.Main
2 (Data Constructor)LogicGrowsOnTrees.Parallel.Main
driverLogicGrowsOnTrees.Parallel.Adapter.Threads
DriverParameters 
1 (Type/Class)LogicGrowsOnTrees.Parallel.Main
2 (Data Constructor)LogicGrowsOnTrees.Parallel.Main
enableSupervisorDebugModeLogicGrowsOnTrees.Parallel.Common.Supervisor
endowTreeLogicGrowsOnTrees
endSupervisorOccupiedLogicGrowsOnTrees.Parallel.Common.Supervisor
enqueueRequestLogicGrowsOnTrees.Parallel.Common.RequestQueue
enqueueRequestAndWaitLogicGrowsOnTrees.Parallel.Common.RequestQueue
entire_workloadLogicGrowsOnTrees.Workload
ExplorationModeLogicGrowsOnTrees.Parallel.ExplorationMode
ExplorationModeForLogicGrowsOnTrees.Parallel.ExplorationMode
ExplorationStateLogicGrowsOnTrees.Checkpoint
explorationStateCheckpointLogicGrowsOnTrees.Checkpoint
explorationStateContextLogicGrowsOnTrees.Checkpoint
explorationStateTreeLogicGrowsOnTrees.Checkpoint
ExplorationTState 
1 (Type/Class)LogicGrowsOnTrees.Checkpoint
2 (Data Constructor)LogicGrowsOnTrees.Checkpoint
ExploredLogicGrowsOnTrees.Checkpoint
exploreLocatableTreeLogicGrowsOnTrees.Location
exploreLocatableTreeTLogicGrowsOnTrees.Location
exploreLocatableTreeTAndIgnoreResultsLogicGrowsOnTrees.Location
exploreLocatableTreeUntilFirstLogicGrowsOnTrees.Location
exploreLocatableTreeUntilFirstTLogicGrowsOnTrees.Location
exploreTree 
1 (Function)LogicGrowsOnTrees
2 (Function)LogicGrowsOnTrees.Parallel.Adapter.Threads
exploreTreeGenericLogicGrowsOnTrees.Parallel.Common.Worker
exploreTreeIOLogicGrowsOnTrees.Parallel.Adapter.Threads
exploreTreeIOStartingFromLogicGrowsOnTrees.Parallel.Adapter.Threads
exploreTreeIOUntilFirstLogicGrowsOnTrees.Parallel.Adapter.Threads
exploreTreeIOUntilFirstStartingFromLogicGrowsOnTrees.Parallel.Adapter.Threads
exploreTreeIOUntilFoundUsingPullLogicGrowsOnTrees.Parallel.Adapter.Threads
exploreTreeIOUntilFoundUsingPullStartingFromLogicGrowsOnTrees.Parallel.Adapter.Threads
exploreTreeIOUntilFoundUsingPushLogicGrowsOnTrees.Parallel.Adapter.Threads
exploreTreeIOUntilFoundUsingPushStartingFromLogicGrowsOnTrees.Parallel.Adapter.Threads
exploreTreeStartingFromLogicGrowsOnTrees.Parallel.Adapter.Threads
exploreTreeStartingFromCheckpointLogicGrowsOnTrees.Checkpoint
exploreTreeT 
1 (Function)LogicGrowsOnTrees
2 (Function)LogicGrowsOnTrees.Parallel.Adapter.Threads
exploreTreeTAndIgnoreResultsLogicGrowsOnTrees
exploreTreeTStartingFromLogicGrowsOnTrees.Parallel.Adapter.Threads
exploreTreeTStartingFromCheckpointLogicGrowsOnTrees.Checkpoint
exploreTreeTUntilFirst 
1 (Function)LogicGrowsOnTrees
2 (Function)LogicGrowsOnTrees.Parallel.Adapter.Threads
exploreTreeTUntilFirstStartingFromLogicGrowsOnTrees.Parallel.Adapter.Threads
exploreTreeTUntilFirstStartingFromCheckpointLogicGrowsOnTrees.Checkpoint
exploreTreeTUntilFirstWithinWorkloadLogicGrowsOnTrees.Workload
exploreTreeTUntilFirstWithLocationLogicGrowsOnTrees.Location
exploreTreeTUntilFirstWithLocationStartingAtLogicGrowsOnTrees.Location
exploreTreeTUntilFoundLogicGrowsOnTrees
exploreTreeTUntilFoundStartingFromCheckpointLogicGrowsOnTrees.Checkpoint
exploreTreeTUntilFoundUsingPullLogicGrowsOnTrees.Parallel.Adapter.Threads
exploreTreeTUntilFoundUsingPullStartingFromLogicGrowsOnTrees.Parallel.Adapter.Threads
exploreTreeTUntilFoundUsingPushLogicGrowsOnTrees.Parallel.Adapter.Threads
exploreTreeTUntilFoundUsingPushStartingFromLogicGrowsOnTrees.Parallel.Adapter.Threads
exploreTreeTUntilFoundWithinWorkloadLogicGrowsOnTrees.Workload
exploreTreeTWithinWorkloadLogicGrowsOnTrees.Workload
exploreTreeTWithLocationsLogicGrowsOnTrees.Location
exploreTreeTWithLocationsStartingAtLogicGrowsOnTrees.Location
exploreTreeUntilFirst 
1 (Function)LogicGrowsOnTrees
2 (Function)LogicGrowsOnTrees.Parallel.Adapter.Threads
exploreTreeUntilFirstStartingFromLogicGrowsOnTrees.Parallel.Adapter.Threads
exploreTreeUntilFirstStartingFromCheckpointLogicGrowsOnTrees.Checkpoint
exploreTreeUntilFirstWithinWorkloadLogicGrowsOnTrees.Workload
exploreTreeUntilFirstWithLocationLogicGrowsOnTrees.Location
exploreTreeUntilFirstWithLocationStartingAtLogicGrowsOnTrees.Location
exploreTreeUntilFoundLogicGrowsOnTrees
exploreTreeUntilFoundStartingFromCheckpointLogicGrowsOnTrees.Checkpoint
exploreTreeUntilFoundUsingPullLogicGrowsOnTrees.Parallel.Adapter.Threads
exploreTreeUntilFoundUsingPullStartingFromLogicGrowsOnTrees.Parallel.Adapter.Threads
exploreTreeUntilFoundUsingPushLogicGrowsOnTrees.Parallel.Adapter.Threads
exploreTreeUntilFoundUsingPushStartingFromLogicGrowsOnTrees.Parallel.Adapter.Threads
exploreTreeUntilFoundWithinWorkloadLogicGrowsOnTrees.Workload
exploreTreeWithinWorkloadLogicGrowsOnTrees.Workload
exploreTreeWithLocationsLogicGrowsOnTrees.Location
exploreTreeWithLocationsStartingAtLogicGrowsOnTrees.Location
extractExteriorFromSolutionLogicGrowsOnTrees.Examples.Queens.Advanced
extractRunOutcomeFromSupervisorOutcomeLogicGrowsOnTrees.Parallel.Main
FailedLogicGrowsOnTrees.Parallel.Common.Message
FailureLogicGrowsOnTrees.Parallel.Main, LogicGrowsOnTrees.Parallel.Adapter.Threads
filterEOFExceptionsLogicGrowsOnTrees.Utils.Handle
FinalResultForLogicGrowsOnTrees.Parallel.ExplorationMode
FinishedLogicGrowsOnTrees.Parallel.Common.Message
FirstMode 
1 (Type/Class)LogicGrowsOnTrees.Parallel.ExplorationMode
2 (Data Constructor)LogicGrowsOnTrees.Parallel.ExplorationMode
forkLogicGrowsOnTrees.Parallel.Common.RequestQueue, LogicGrowsOnTrees.Parallel.Adapter.Threads
forkControllerThreadLogicGrowsOnTrees.Parallel.Common.RequestQueue
forkWorkerThreadLogicGrowsOnTrees.Parallel.Common.Worker
formArityAndDepthLogicGrowsOnTrees.Utils.PerfectTree
FoundModeUsingPull 
1 (Type/Class)LogicGrowsOnTrees.Parallel.ExplorationMode
2 (Data Constructor)LogicGrowsOnTrees.Parallel.ExplorationMode
FoundModeUsingPush 
1 (Type/Class)LogicGrowsOnTrees.Parallel.ExplorationMode
2 (Data Constructor)LogicGrowsOnTrees.Parallel.ExplorationMode
FunctionOfTimeStatistics 
1 (Type/Class)LogicGrowsOnTrees.Parallel.Common.Supervisor
2 (Data Constructor)LogicGrowsOnTrees.Parallel.Common.Supervisor
genericMainLogicGrowsOnTrees.Parallel.Main
getArityLogicGrowsOnTrees.Utils.PerfectTree
getBoardSizeLogicGrowsOnTrees.Examples.Queens
getCurrentProgress 
1 (Function)LogicGrowsOnTrees.Parallel.Common.Supervisor
2 (Function)LogicGrowsOnTrees.Parallel.Common.RequestQueue, LogicGrowsOnTrees.Parallel.Adapter.Threads
getCurrentProgressAsyncLogicGrowsOnTrees.Parallel.Common.RequestQueue, LogicGrowsOnTrees.Parallel.Adapter.Threads
getCurrentStatisticsLogicGrowsOnTrees.Parallel.Common.Supervisor
getIntSumLogicGrowsOnTrees.Utils.IntSum
getLocationLogicGrowsOnTrees.Location
getNumberOfWorkers 
1 (Function)LogicGrowsOnTrees.Parallel.Common.Supervisor
2 (Function)LogicGrowsOnTrees.Parallel.Common.RequestQueue, LogicGrowsOnTrees.Parallel.Adapter.Threads
getNumberOfWorkersAsyncLogicGrowsOnTrees.Parallel.Common.RequestQueue, LogicGrowsOnTrees.Parallel.Adapter.Threads
getOpeningsLogicGrowsOnTrees.Examples.Queens.Advanced
getQuantityAsyncLogicGrowsOnTrees.Parallel.Common.RequestQueue
getStartingProgressLogicGrowsOnTrees.Parallel.Main
getSymmetricOpeningsLogicGrowsOnTrees.Examples.Queens.Advanced
getWordLogicGrowsOnTrees.Utils.Word_
getWordSumLogicGrowsOnTrees.Utils.WordSum
HasExplorationModeLogicGrowsOnTrees.Parallel.ExplorationMode
hasReflectionSymmetryLogicGrowsOnTrees.Examples.Queens.Advanced
hasRotate180SymmetryLogicGrowsOnTrees.Examples.Queens.Advanced
hasRotate90SymmetryLogicGrowsOnTrees.Examples.Queens.Advanced
ImpureAtopIOLogicGrowsOnTrees.Parallel.Purity
InconsistentCheckpoints 
1 (Type/Class)LogicGrowsOnTrees.Checkpoint
2 (Data Constructor)LogicGrowsOnTrees.Checkpoint
IndependentMeasurementsStatistics 
1 (Type/Class)LogicGrowsOnTrees.Parallel.Common.Supervisor
2 (Data Constructor)LogicGrowsOnTrees.Parallel.Common.Supervisor
initialExplorationStateLogicGrowsOnTrees.Checkpoint
initializeGlobalStateLogicGrowsOnTrees.Parallel.Main
initialProgressLogicGrowsOnTrees.Parallel.ExplorationMode
initialWorkerIntermediateValueLogicGrowsOnTrees.Parallel.ExplorationMode
InnerMonadLogicGrowsOnTrees.Parallel.Common.Workgroup
IntSum 
1 (Type/Class)LogicGrowsOnTrees.Utils.IntSum
2 (Data Constructor)LogicGrowsOnTrees.Utils.IntSum
invertCheckpointLogicGrowsOnTrees.Checkpoint
io_purityLogicGrowsOnTrees.Parallel.Purity
killAllWorkersLogicGrowsOnTrees.Parallel.Common.Workgroup
killControllerThreadsLogicGrowsOnTrees.Parallel.Common.RequestQueue
labelFromBranchingLogicGrowsOnTrees.Location
labelFromContextLogicGrowsOnTrees.Location
labelFromPathLogicGrowsOnTrees.Location
LeftBranchLogicGrowsOnTrees.Path
LeftBranchContextStepLogicGrowsOnTrees.Checkpoint
leftBranchOfLogicGrowsOnTrees.Location
LocatableT 
1 (Type/Class)LogicGrowsOnTrees.Location
2 (Data Constructor)LogicGrowsOnTrees.Location
LocatableTreeLogicGrowsOnTrees.Location
LocatableTreeIOLogicGrowsOnTrees.Location
LocatableTreeT 
1 (Type/Class)LogicGrowsOnTrees.Location
2 (Data Constructor)LogicGrowsOnTrees.Location
LocationLogicGrowsOnTrees.Location
locationTransformerForBranchChoiceLogicGrowsOnTrees.Location
mainForExploreTreeLogicGrowsOnTrees.Parallel.Main
mainForExploreTreeImpureLogicGrowsOnTrees.Parallel.Main
mainForExploreTreeImpureUntilFirstLogicGrowsOnTrees.Parallel.Main
mainForExploreTreeImpureUntilFoundUsingPullLogicGrowsOnTrees.Parallel.Main
mainForExploreTreeImpureUntilFoundUsingPushLogicGrowsOnTrees.Parallel.Main
mainForExploreTreeIOLogicGrowsOnTrees.Parallel.Main
mainForExploreTreeIOUntilFirstLogicGrowsOnTrees.Parallel.Main
mainForExploreTreeIOUntilFoundUsingPullLogicGrowsOnTrees.Parallel.Main
mainForExploreTreeIOUntilFoundUsingPushLogicGrowsOnTrees.Parallel.Main
mainForExploreTreeUntilFirstLogicGrowsOnTrees.Parallel.Main
mainForExploreTreeUntilFoundUsingPullLogicGrowsOnTrees.Parallel.Main
mainForExploreTreeUntilFoundUsingPushLogicGrowsOnTrees.Parallel.Main
mainParserLogicGrowsOnTrees.Parallel.Main
makeArityAndDepthTermAtPositionsLogicGrowsOnTrees.Utils.PerfectTree
makeBoardSizeTermAtPositionLogicGrowsOnTrees.Examples.Queens
MessageForSupervisorLogicGrowsOnTrees.Parallel.Common.Message
MessageForSupervisorForLogicGrowsOnTrees.Parallel.Common.Message
MessageForSupervisorReceivers 
1 (Type/Class)LogicGrowsOnTrees.Parallel.Common.Message, LogicGrowsOnTrees.Parallel.Common.Workgroup
2 (Data Constructor)LogicGrowsOnTrees.Parallel.Common.Message, LogicGrowsOnTrees.Parallel.Common.Workgroup
MessageForWorkerLogicGrowsOnTrees.Parallel.Common.Message
mkFinalizeValueLogicGrowsOnTrees.Examples.Queens.Advanced
mkPopValueLogicGrowsOnTrees.Examples.Queens.Advanced
mkPushValueLogicGrowsOnTrees.Examples.Queens.Advanced
MonadExplorableLogicGrowsOnTrees
MonadExplorableTransLogicGrowsOnTrees
MonadLocatableLogicGrowsOnTrees.Location
multiplicityForSymmetryLogicGrowsOnTrees.Examples.Queens.Advanced
multiplySolutionLogicGrowsOnTrees.Examples.Queens.Advanced
NestedMonadLogicGrowsOnTrees
newRequestQueueLogicGrowsOnTrees.Parallel.Common.RequestQueue
normalizeLocatableTreeLogicGrowsOnTrees.Location
normalizeLocatableTreeTLogicGrowsOnTrees.Location
NoSymmetriesLogicGrowsOnTrees.Examples.Queens.Advanced
notifyTerminatedLogicGrowsOnTrees.Parallel.Main
nqueensBreak180LogicGrowsOnTrees.Examples.Queens.Advanced
NQueensBreak180State 
1 (Type/Class)LogicGrowsOnTrees.Examples.Queens.Advanced
2 (Data Constructor)LogicGrowsOnTrees.Examples.Queens.Advanced
nqueensBreak90LogicGrowsOnTrees.Examples.Queens.Advanced
NQueensBreak90State 
1 (Type/Class)LogicGrowsOnTrees.Examples.Queens.Advanced
2 (Data Constructor)LogicGrowsOnTrees.Examples.Queens.Advanced
nqueensBruteForceCountLogicGrowsOnTrees.Examples.Queens.Advanced
nqueensBruteForceGenericLogicGrowsOnTrees.Examples.Queens.Advanced
nqueensBruteForceSolutionsLogicGrowsOnTrees.Examples.Queens.Advanced
nqueensCCountLogicGrowsOnTrees.Examples.Queens.Advanced
nqueensCGenericLogicGrowsOnTrees.Examples.Queens.Advanced
nqueensCorrectCountLogicGrowsOnTrees.Examples.Queens
nqueensCountLogicGrowsOnTrees.Examples.Queens
nqueensCSearchLogicGrowsOnTrees.Examples.Queens.Advanced
nqueensCSolutionsLogicGrowsOnTrees.Examples.Queens.Advanced
nqueensGenericLogicGrowsOnTrees.Examples.Queens.Advanced, LogicGrowsOnTrees.Examples.Queens
nqueensSearchLogicGrowsOnTrees.Examples.Queens.Advanced
NQueensSearchState 
1 (Type/Class)LogicGrowsOnTrees.Examples.Queens.Advanced
2 (Data Constructor)LogicGrowsOnTrees.Examples.Queens.Advanced
NQueensSolutionLogicGrowsOnTrees.Examples.Queens.Advanced
NQueensSolutionsLogicGrowsOnTrees.Examples.Queens.Advanced
nqueensSolutionsLogicGrowsOnTrees.Examples.Queens
nqueensStartLogicGrowsOnTrees.Examples.Queens.Advanced
NQueensSymmetryLogicGrowsOnTrees.Examples.Queens.Advanced
nqueensUsingBitsCountLogicGrowsOnTrees.Examples.Queens
nqueensUsingBitsSolutionsLogicGrowsOnTrees.Examples.Queens
nqueensUsingSetsCountLogicGrowsOnTrees.Examples.Queens
nqueensUsingSetsSolutionsLogicGrowsOnTrees.Examples.Queens
nqueens_correct_countsLogicGrowsOnTrees.Examples.Queens
nqueens_maximum_sizeLogicGrowsOnTrees.Examples.Queens
NullLogicGrowsOnTrees
numberOfLeavesLogicGrowsOnTrees.Utils.PerfectTree
oppositeBranchChoiceOfLogicGrowsOnTrees.Path
PastTreeIsInconsistentWithPresentTreeLogicGrowsOnTrees.Path
PathLogicGrowsOnTrees.Path
pathFromContextLogicGrowsOnTrees.Checkpoint
pathFromCursorLogicGrowsOnTrees.Checkpoint
pathStepFromContextStepLogicGrowsOnTrees.Checkpoint
pathStepFromCursorDifferentialLogicGrowsOnTrees.Checkpoint
perfectTreeLogicGrowsOnTrees.Utils.PerfectTree
performGlobalProgressUpdateLogicGrowsOnTrees.Parallel.Common.Supervisor
PollingProgramLogicGrowsOnTrees.Parallel.Common.Supervisor
PositionAndBitLogicGrowsOnTrees.Examples.Queens.Advanced
PositionAndBitWithReflectionLogicGrowsOnTrees.Examples.Queens.Advanced
processAllRequestsLogicGrowsOnTrees.Parallel.Common.RequestQueue
ProcessPendingRequestsLogicGrowsOnTrees
processPendingRequestsLogicGrowsOnTrees
program_infoLogicGrowsOnTrees.Parallel.Main
Progress 
1 (Type/Class)LogicGrowsOnTrees.Checkpoint
2 (Data Constructor)LogicGrowsOnTrees.Checkpoint
progressCheckpointLogicGrowsOnTrees.Checkpoint
ProgressForLogicGrowsOnTrees.Parallel.ExplorationMode
progressResultLogicGrowsOnTrees.Checkpoint
ProgressUpdate 
1 (Type/Class)LogicGrowsOnTrees.Parallel.Common.Worker
2 (Data Constructor)LogicGrowsOnTrees.Parallel.Common.Worker
3 (Data Constructor)LogicGrowsOnTrees.Parallel.Common.Message
ProgressUpdateForLogicGrowsOnTrees.Parallel.Common.Worker
progressUpdateProgressLogicGrowsOnTrees.Parallel.Common.Worker
progressUpdateRemainingWorkloadLogicGrowsOnTrees.Parallel.Common.Worker
PureLogicGrowsOnTrees.Parallel.Purity
PurityLogicGrowsOnTrees.Parallel.Purity
purityLogicGrowsOnTrees.Parallel.Main
QuitWorkerLogicGrowsOnTrees.Parallel.Common.Message
receiveLogicGrowsOnTrees.Utils.Handle
receiveAndProcessMessagesFromWorkerLogicGrowsOnTrees.Parallel.Common.Message
receiveAndProcessMessagesFromWorkerUsingHandleLogicGrowsOnTrees.Parallel.Common.Message
receiveCurrentProgressLogicGrowsOnTrees.Parallel.Common.Supervisor
receiveFailureFromWorkerLogicGrowsOnTrees.Parallel.Common.Message, LogicGrowsOnTrees.Parallel.Common.Workgroup
receiveFinishedFromWorkerLogicGrowsOnTrees.Parallel.Common.Message, LogicGrowsOnTrees.Parallel.Common.Workgroup
receiveProgressLogicGrowsOnTrees.Parallel.Common.RequestQueue
receiveProgressUpdateLogicGrowsOnTrees.Parallel.Common.Supervisor
receiveProgressUpdateFromWorkerLogicGrowsOnTrees.Parallel.Common.Message, LogicGrowsOnTrees.Parallel.Common.Workgroup
receiveQuitFromWorkerLogicGrowsOnTrees.Parallel.Common.Message, LogicGrowsOnTrees.Parallel.Common.Workgroup
receiversLogicGrowsOnTrees.Parallel.Common.RequestQueue
receiveStolenWorkloadLogicGrowsOnTrees.Parallel.Common.Supervisor
receiveStolenWorkloadFromWorkerLogicGrowsOnTrees.Parallel.Common.Message, LogicGrowsOnTrees.Parallel.Common.Workgroup
receiveWorkerFailureLogicGrowsOnTrees.Parallel.Common.Supervisor
receiveWorkerFinishedLogicGrowsOnTrees.Parallel.Common.Supervisor
receiveWorkerFinishedAndRemovedLogicGrowsOnTrees.Parallel.Common.Supervisor
receiveWorkerFinishedWithRemovalFlagLogicGrowsOnTrees.Parallel.Common.Supervisor
reflectBitsLogicGrowsOnTrees.Examples.Queens.Advanced
reflectSolutionLogicGrowsOnTrees.Examples.Queens.Advanced
removeWorkerLogicGrowsOnTrees.Parallel.Common.Supervisor
removeWorkerIfPresentLogicGrowsOnTrees.Parallel.Common.Supervisor
RequestLogicGrowsOnTrees.Parallel.Common.RequestQueue
RequestProgressUpdateLogicGrowsOnTrees.Parallel.Common.Message
requestProgressUpdateLogicGrowsOnTrees.Parallel.Common.RequestQueue, LogicGrowsOnTrees.Parallel.Adapter.Threads
requestProgressUpdateAsyncLogicGrowsOnTrees.Parallel.Common.RequestQueue, LogicGrowsOnTrees.Parallel.Adapter.Threads
RequestQueue 
1 (Type/Class)LogicGrowsOnTrees.Parallel.Common.RequestQueue
2 (Data Constructor)LogicGrowsOnTrees.Parallel.Common.RequestQueue
RequestQueueMonadLogicGrowsOnTrees.Parallel.Common.RequestQueue
requestQueueProgramLogicGrowsOnTrees.Parallel.Common.RequestQueue
RequestQueueReaderLogicGrowsOnTrees.Parallel.Common.RequestQueue
requestsLogicGrowsOnTrees.Parallel.Common.RequestQueue
RequestWorkloadStealLogicGrowsOnTrees.Parallel.Common.Message
ResultForLogicGrowsOnTrees.Parallel.ExplorationMode
RightBranchLogicGrowsOnTrees.Path
RightBranchContextStepLogicGrowsOnTrees.Checkpoint
rightBranchOfLogicGrowsOnTrees.Location
rootLocationLogicGrowsOnTrees.Location
rotate180LogicGrowsOnTrees.Examples.Queens.Advanced
Rotate180OnlyLogicGrowsOnTrees.Examples.Queens.Advanced
rotateLeftLogicGrowsOnTrees.Examples.Queens.Advanced
rotateRightLogicGrowsOnTrees.Examples.Queens.Advanced
runAndCacheLogicGrowsOnTrees
runAndCacheGuardLogicGrowsOnTrees
runAndCacheMaybeLogicGrowsOnTrees
runAvailableWorkloadStatisticsLogicGrowsOnTrees.Parallel.Common.Supervisor, LogicGrowsOnTrees.Parallel.Main, LogicGrowsOnTrees.Parallel.Adapter.Threads
runAverageTimePerCallLogicGrowsOnTrees.Parallel.Common.Supervisor, LogicGrowsOnTrees.Parallel.Main, LogicGrowsOnTrees.Parallel.Adapter.Threads
runEndTimeLogicGrowsOnTrees.Parallel.Common.Supervisor, LogicGrowsOnTrees.Parallel.Main, LogicGrowsOnTrees.Parallel.Adapter.Threads
runExplorerLogicGrowsOnTrees.Parallel.Adapter.Threads
runInstantaneousWorkloadRequestRateStatisticsLogicGrowsOnTrees.Parallel.Common.Supervisor, LogicGrowsOnTrees.Parallel.Main, LogicGrowsOnTrees.Parallel.Adapter.Threads
runInstantaneousWorkloadStealTimeStatisticsLogicGrowsOnTrees.Parallel.Common.Supervisor, LogicGrowsOnTrees.Parallel.Main, LogicGrowsOnTrees.Parallel.Adapter.Threads
runLocatableTLogicGrowsOnTrees.Location
runNumberOfCallsLogicGrowsOnTrees.Parallel.Common.Supervisor, LogicGrowsOnTrees.Parallel.Main, LogicGrowsOnTrees.Parallel.Adapter.Threads
RunOutcome 
1 (Type/Class)LogicGrowsOnTrees.Parallel.Main, LogicGrowsOnTrees.Parallel.Adapter.Threads
2 (Data Constructor)LogicGrowsOnTrees.Parallel.Main, LogicGrowsOnTrees.Parallel.Adapter.Threads
RunOutcomeForLogicGrowsOnTrees.Parallel.Main
runStartTimeLogicGrowsOnTrees.Parallel.Common.Supervisor, LogicGrowsOnTrees.Parallel.Main, LogicGrowsOnTrees.Parallel.Adapter.Threads
RunStatistics 
1 (Type/Class)LogicGrowsOnTrees.Parallel.Common.Supervisor, LogicGrowsOnTrees.Parallel.Main, LogicGrowsOnTrees.Parallel.Adapter.Threads
2 (Data Constructor)LogicGrowsOnTrees.Parallel.Common.Supervisor, LogicGrowsOnTrees.Parallel.Main, LogicGrowsOnTrees.Parallel.Adapter.Threads
runStatisticsLogicGrowsOnTrees.Parallel.Main, LogicGrowsOnTrees.Parallel.Adapter.Threads
runStealWaitTimesLogicGrowsOnTrees.Parallel.Common.Supervisor, LogicGrowsOnTrees.Parallel.Main, LogicGrowsOnTrees.Parallel.Adapter.Threads
runSupervisorLogicGrowsOnTrees.Parallel.Common.Supervisor
runSupervisorMonadOccupationLogicGrowsOnTrees.Parallel.Common.Supervisor, LogicGrowsOnTrees.Parallel.Main, LogicGrowsOnTrees.Parallel.Adapter.Threads
runSupervisorOccupationLogicGrowsOnTrees.Parallel.Common.Supervisor, LogicGrowsOnTrees.Parallel.Main, LogicGrowsOnTrees.Parallel.Adapter.Threads
runSupervisorStartingFromLogicGrowsOnTrees.Parallel.Common.Supervisor
runTerminationReasonLogicGrowsOnTrees.Parallel.Main, LogicGrowsOnTrees.Parallel.Adapter.Threads
runUnrestrictedSupervisorLogicGrowsOnTrees.Parallel.Common.Supervisor
runUnrestrictedSupervisorStartingFromLogicGrowsOnTrees.Parallel.Common.Supervisor
runWaitingWorkerStatisticsLogicGrowsOnTrees.Parallel.Common.Supervisor, LogicGrowsOnTrees.Parallel.Main, LogicGrowsOnTrees.Parallel.Adapter.Threads
runWallTimeLogicGrowsOnTrees.Parallel.Common.Supervisor, LogicGrowsOnTrees.Parallel.Main, LogicGrowsOnTrees.Parallel.Adapter.Threads
runWorkerLogicGrowsOnTrees.Parallel.Common.Process
runWorkerOccupationLogicGrowsOnTrees.Parallel.Common.Supervisor, LogicGrowsOnTrees.Parallel.Main, LogicGrowsOnTrees.Parallel.Adapter.Threads
runWorkerUsingHandlesLogicGrowsOnTrees.Parallel.Common.Process
runWorkerWaitTimesLogicGrowsOnTrees.Parallel.Common.Supervisor, LogicGrowsOnTrees.Parallel.Main, LogicGrowsOnTrees.Parallel.Adapter.Threads
runWorkgroupLogicGrowsOnTrees.Parallel.Common.Workgroup
sendLogicGrowsOnTrees.Utils.Handle
sendAbortRequestLogicGrowsOnTrees.Parallel.Common.Worker
sendProgressUpdateRequestLogicGrowsOnTrees.Parallel.Common.Worker
sendProgressUpdateRequestToLogicGrowsOnTrees.Parallel.Common.Workgroup
sendTreeDownLocationLogicGrowsOnTrees.Location
sendTreeDownPathLogicGrowsOnTrees.Path
sendTreeTDownLocationLogicGrowsOnTrees.Location
sendTreeTDownPathLogicGrowsOnTrees.Path
sendWorkloadStealRequestLogicGrowsOnTrees.Parallel.Common.Worker
sendWorkloadStealRequestToLogicGrowsOnTrees.Parallel.Common.Workgroup
sendWorkloadToLogicGrowsOnTrees.Parallel.Common.Workgroup
sendWorkloadToWorkerLogicGrowsOnTrees.Parallel.Common.Supervisor
setNumberOfWorkersLogicGrowsOnTrees.Parallel.Common.Workgroup, LogicGrowsOnTrees.Parallel.Adapter.Threads
setNumberOfWorkersAsyncLogicGrowsOnTrees.Parallel.Common.Workgroup, LogicGrowsOnTrees.Parallel.Adapter.Threads
setSupervisorDebugModeLogicGrowsOnTrees.Parallel.Common.Supervisor
setWorkloadBufferSize 
1 (Function)LogicGrowsOnTrees.Parallel.Common.Supervisor
2 (Function)LogicGrowsOnTrees.Parallel.Common.RequestQueue, LogicGrowsOnTrees.Parallel.Adapter.Threads
shared_configuration_termLogicGrowsOnTrees.Parallel.Main
simpleMainForExploreTreeLogicGrowsOnTrees.Parallel.Main
simpleMainForExploreTreeImpureLogicGrowsOnTrees.Parallel.Main
simpleMainForExploreTreeImpureUntilFirstLogicGrowsOnTrees.Parallel.Main
simpleMainForExploreTreeImpureUntilFoundUsingPullLogicGrowsOnTrees.Parallel.Main
simpleMainForExploreTreeImpureUntilFoundUsingPushLogicGrowsOnTrees.Parallel.Main
simpleMainForExploreTreeIOLogicGrowsOnTrees.Parallel.Main
simpleMainForExploreTreeIOUntilFirstLogicGrowsOnTrees.Parallel.Main
simpleMainForExploreTreeIOUntilFoundUsingPullLogicGrowsOnTrees.Parallel.Main
simpleMainForExploreTreeIOUntilFoundUsingPushLogicGrowsOnTrees.Parallel.Main
simpleMainForExploreTreeUntilFirstLogicGrowsOnTrees.Parallel.Main
simpleMainForExploreTreeUntilFoundUsingPullLogicGrowsOnTrees.Parallel.Main
simpleMainForExploreTreeUntilFoundUsingPushLogicGrowsOnTrees.Parallel.Main
simplifyCheckpointLogicGrowsOnTrees.Checkpoint
simplifyCheckpointRootLogicGrowsOnTrees.Checkpoint
Solution 
1 (Type/Class)LogicGrowsOnTrees.Location
2 (Data Constructor)LogicGrowsOnTrees.Location
solutionLocationLogicGrowsOnTrees.Location
solutionResultLogicGrowsOnTrees.Location
solutionsToMapLogicGrowsOnTrees.Location
StartWorkloadLogicGrowsOnTrees.Parallel.Common.Message
statAverageLogicGrowsOnTrees.Parallel.Common.Supervisor
statCountLogicGrowsOnTrees.Parallel.Common.Supervisor
statMaxLogicGrowsOnTrees.Parallel.Common.Supervisor
statMinLogicGrowsOnTrees.Parallel.Common.Supervisor
statStdDevLogicGrowsOnTrees.Parallel.Common.Supervisor
StepLogicGrowsOnTrees.Path
stepThroughTreeStartingFromCheckpointLogicGrowsOnTrees.Checkpoint
stepThroughTreeTStartingFromCheckpointLogicGrowsOnTrees.Checkpoint
StolenWorkload 
1 (Type/Class)LogicGrowsOnTrees.Parallel.Common.Worker
2 (Data Constructor)LogicGrowsOnTrees.Parallel.Common.Worker
3 (Data Constructor)LogicGrowsOnTrees.Parallel.Common.Message
stolenWorkloadLogicGrowsOnTrees.Parallel.Common.Worker
StolenWorkloadForLogicGrowsOnTrees.Parallel.Common.Worker
stolenWorkloadProgressUpdateLogicGrowsOnTrees.Parallel.Common.Worker
SupervisorAbortedLogicGrowsOnTrees.Parallel.Common.Supervisor
SupervisorCallbacks 
1 (Type/Class)LogicGrowsOnTrees.Parallel.Common.Supervisor
2 (Data Constructor)LogicGrowsOnTrees.Parallel.Common.Supervisor
SupervisorCompletedLogicGrowsOnTrees.Parallel.Common.Supervisor
SupervisorFailureLogicGrowsOnTrees.Parallel.Common.Supervisor
SupervisorFullConstraintLogicGrowsOnTrees.Parallel.Common.Supervisor
SupervisorMonadLogicGrowsOnTrees.Parallel.Common.Supervisor
SupervisorMonadConstraintLogicGrowsOnTrees.Parallel.Common.Supervisor
SupervisorOutcome 
1 (Type/Class)LogicGrowsOnTrees.Parallel.Common.Supervisor
2 (Data Constructor)LogicGrowsOnTrees.Parallel.Common.Supervisor
SupervisorOutcomeForLogicGrowsOnTrees.Parallel.Common.Supervisor
SupervisorProgramLogicGrowsOnTrees.Parallel.Common.Supervisor
supervisorRemainingWorkersLogicGrowsOnTrees.Parallel.Common.Supervisor
supervisorRunStatisticsLogicGrowsOnTrees.Parallel.Common.Supervisor
SupervisorTerminationReasonLogicGrowsOnTrees.Parallel.Common.Supervisor
supervisorTerminationReasonLogicGrowsOnTrees.Parallel.Common.Supervisor
SupervisorTerminationReasonForLogicGrowsOnTrees.Parallel.Common.Supervisor
SupervisorWorkerIdConstraintLogicGrowsOnTrees.Parallel.Common.Supervisor
supervisor_configuration_termLogicGrowsOnTrees.Parallel.Main
symmetryOfLogicGrowsOnTrees.Examples.Queens.Advanced
syncAsyncLogicGrowsOnTrees.Parallel.Common.RequestQueue
s_number_of_queens_remainingLogicGrowsOnTrees.Examples.Queens.Advanced
s_occupied_columnsLogicGrowsOnTrees.Examples.Queens.Advanced
s_occupied_negative_diagonalsLogicGrowsOnTrees.Examples.Queens.Advanced
s_occupied_positive_diagonalsLogicGrowsOnTrees.Examples.Queens.Advanced
s_occupied_rowsLogicGrowsOnTrees.Examples.Queens.Advanced
s_rowLogicGrowsOnTrees.Examples.Queens.Advanced
TerminationReasonLogicGrowsOnTrees.Parallel.Main, LogicGrowsOnTrees.Parallel.Adapter.Threads
TerminationReasonForLogicGrowsOnTrees.Parallel.Main
ThreadsControllerMonadLogicGrowsOnTrees.Parallel.Adapter.Threads
timeAverageLogicGrowsOnTrees.Parallel.Common.Supervisor
timeCountLogicGrowsOnTrees.Parallel.Common.Supervisor
timeMaxLogicGrowsOnTrees.Parallel.Common.Supervisor
timeMinLogicGrowsOnTrees.Parallel.Common.Supervisor
timeStdDevLogicGrowsOnTrees.Parallel.Common.Supervisor
TreeLogicGrowsOnTrees
TreeEndedBeforeEndOfWalkLogicGrowsOnTrees.Path
TreeInstructionLogicGrowsOnTrees
TreeIOLogicGrowsOnTrees
TreeT 
1 (Type/Class)LogicGrowsOnTrees
2 (Data Constructor)LogicGrowsOnTrees
TreeTInstructionLogicGrowsOnTrees
trivialPerfectTreeLogicGrowsOnTrees.Utils.PerfectTree
tryDequeueRequestLogicGrowsOnTrees.Parallel.Common.RequestQueue
tryGetWaitingWorkerLogicGrowsOnTrees.Parallel.Common.Supervisor
UnexploredLogicGrowsOnTrees.Checkpoint
UnrestrictedProgramLogicGrowsOnTrees.Parallel.Common.Supervisor
unwrapCLogicGrowsOnTrees.Parallel.Common.Workgroup
unwrapLocatableTLogicGrowsOnTrees.Location
unwrapLocatableTreeTLogicGrowsOnTrees.Location
unwrapTreeTLogicGrowsOnTrees
WalkErrorLogicGrowsOnTrees.Path
WordSum 
1 (Type/Class)LogicGrowsOnTrees.Utils.WordSum
2 (Data Constructor)LogicGrowsOnTrees.Utils.WordSum
Word_ 
1 (Type/Class)LogicGrowsOnTrees.Utils.Word_
2 (Data Constructor)LogicGrowsOnTrees.Utils.Word_
WorkerAbortedLogicGrowsOnTrees.Parallel.Common.Worker
WorkerEnvironment 
1 (Type/Class)LogicGrowsOnTrees.Parallel.Common.Worker
2 (Data Constructor)LogicGrowsOnTrees.Parallel.Common.Worker
WorkerEnvironmentForLogicGrowsOnTrees.Parallel.Common.Worker
WorkerFailedLogicGrowsOnTrees.Parallel.Common.Worker
WorkerFinishedLogicGrowsOnTrees.Parallel.Common.Worker
WorkerFinishedProgressForLogicGrowsOnTrees.Parallel.ExplorationMode
WorkerIdLogicGrowsOnTrees.Parallel.Common.Workgroup
workerInitialPathLogicGrowsOnTrees.Parallel.Common.Worker
WorkerIntermediateValueForLogicGrowsOnTrees.Parallel.ExplorationMode
workerPendingRequestsLogicGrowsOnTrees.Parallel.Common.Worker
WorkerPushActionForLogicGrowsOnTrees.Parallel.Common.Worker
WorkerQuitLogicGrowsOnTrees.Parallel.Common.Message
WorkerRequestQueueLogicGrowsOnTrees.Parallel.Common.Worker
WorkerRequestQueueForLogicGrowsOnTrees.Parallel.Common.Worker
workerTerminationFlagLogicGrowsOnTrees.Parallel.Common.Worker
WorkerTerminationReasonLogicGrowsOnTrees.Parallel.Common.Worker
WorkerTerminationReasonForLogicGrowsOnTrees.Parallel.Common.Worker
workerThreadIdLogicGrowsOnTrees.Parallel.Common.Worker
WorkgroupCallbacks 
1 (Type/Class)LogicGrowsOnTrees.Parallel.Common.Workgroup
2 (Data Constructor)LogicGrowsOnTrees.Parallel.Common.Workgroup
WorkgroupControllerMonadLogicGrowsOnTrees.Parallel.Common.Workgroup
WorkgroupRequestQueueMonadLogicGrowsOnTrees.Parallel.Common.Workgroup
Workload 
1 (Type/Class)LogicGrowsOnTrees.Workload
2 (Data Constructor)LogicGrowsOnTrees.Workload
workloadCheckpointLogicGrowsOnTrees.Workload
workloadDepthLogicGrowsOnTrees.Workload
workloadPathLogicGrowsOnTrees.Workload