mcmc-synthesis-0.1.2.2: MCMC applied to probabilistic program synthesis

Index

categoricalLanguage.Synthesis.Distribution
constantLanguage.Synthesis.Distribution
Distr 
1 (Type/Class)Language.Synthesis.Distribution
2 (Data Constructor)Language.Synthesis.Distribution
jumpLanguage.Synthesis.Synthesis
logProbabilityLanguage.Synthesis.Distribution
mhListLanguage.Synthesis.MCMC
mix 
1 (Function)Language.Synthesis.Distribution
2 (Function)Language.Synthesis.Mutations
mutateInstructionLanguage.Synthesis.Mutations
mutateInstructionAtLanguage.Synthesis.Mutations
mutateInstructionsAtLanguage.Synthesis.Mutations
MutationLanguage.Synthesis.Mutations, Language.Synthesis.Synthesis
negativeInfinityLanguage.Synthesis.Distribution
priorLanguage.Synthesis.Synthesis
Problem 
1 (Type/Class)Language.Synthesis.Synthesis
2 (Data Constructor)Language.Synthesis.Synthesis
randIntLanguage.Synthesis.Distribution
replicateLanguage.Synthesis.Distribution
runningBestLanguage.Synthesis.Synthesis
sampleLanguage.Synthesis.Distribution
ScoreLanguage.Synthesis.Synthesis
scoreLanguage.Synthesis.Synthesis
sumByLogsLanguage.Synthesis.Distribution
swapInstructionsLanguage.Synthesis.Mutations
synthesizeMhListLanguage.Synthesis.Synthesis
toScoreLanguage.Synthesis.Synthesis
uniformLanguage.Synthesis.Distribution