Data.DCFL
data Distribution
data Values
data Variable
data ConstraintEl
data Solved
width
b
oneIfEqual
replicateDouble
initDistribution
failureCurrProb
failureOtherProb
failureProb
updateProb
updateVariableProb
cummDistributionIter
cummDistribution
getValueIndex
randomNum
randomizeVariable
evalConstraint
evalConstraints
applyAt
getConstraintsFor
justConstraints
getValues
randomizeSingle
randomize
printVariables
update
updateEach'
updateEach
updateEachTimes
checkDistrSolved
checkSolved
solve
updateMapF
updateEachThreaded
updateEachTimesThreaded
solveThreaded