2022-03-26 18:06:50 +03:00
|
|
|
module Data.Boltzmann (
|
2022-03-27 13:50:39 +03:00
|
|
|
-- * Combinatorial systems
|
|
|
|
Constructable (..),
|
2022-03-26 18:06:50 +03:00
|
|
|
ConstructorFrequencies,
|
2022-03-27 13:50:39 +03:00
|
|
|
ConstructorWeights,
|
2022-03-26 18:06:50 +03:00
|
|
|
System (..),
|
2022-03-27 13:50:39 +03:00
|
|
|
mkDefWeights,
|
|
|
|
|
|
|
|
-- * Boltzmann samplers
|
2022-03-26 18:06:50 +03:00
|
|
|
BoltzmannSampler (..),
|
2022-03-27 22:01:33 +03:00
|
|
|
LowerBound (..),
|
|
|
|
UpperBound (..),
|
2022-03-26 18:06:50 +03:00
|
|
|
rejectionSampler,
|
2022-03-26 18:15:11 +03:00
|
|
|
toleranceRejectionSampler,
|
2022-03-27 13:50:39 +03:00
|
|
|
mkBoltzmannSampler,
|
|
|
|
mkDefBoltzmannSampler,
|
2022-04-05 20:05:16 +03:00
|
|
|
quickCheckRejectionSampler,
|
|
|
|
quickCheckToleranceRejectionSampler,
|
2022-03-27 13:50:39 +03:00
|
|
|
|
|
|
|
-- * Buffon machines
|
2022-03-27 12:28:57 +03:00
|
|
|
BuffonMachine,
|
2022-03-26 18:06:50 +03:00
|
|
|
EvalIO (..),
|
|
|
|
eval,
|
|
|
|
) where
|
|
|
|
|
|
|
|
import Data.Boltzmann.System (
|
|
|
|
Constructable (..),
|
|
|
|
ConstructorFrequencies,
|
|
|
|
ConstructorWeights,
|
|
|
|
System (..),
|
|
|
|
)
|
|
|
|
|
|
|
|
import Data.Boltzmann.System.TH (
|
|
|
|
mkBoltzmannSampler,
|
|
|
|
mkDefBoltzmannSampler,
|
|
|
|
)
|
|
|
|
|
|
|
|
import Data.Boltzmann.Sampler (
|
|
|
|
BoltzmannSampler (..),
|
2022-03-27 22:01:33 +03:00
|
|
|
LowerBound (..),
|
|
|
|
UpperBound (..),
|
2022-04-05 20:05:16 +03:00
|
|
|
quickCheckRejectionSampler,
|
|
|
|
quickCheckToleranceRejectionSampler,
|
2022-03-26 18:06:50 +03:00
|
|
|
rejectionSampler,
|
2022-03-26 18:15:11 +03:00
|
|
|
toleranceRejectionSampler,
|
2022-03-26 18:06:50 +03:00
|
|
|
)
|
|
|
|
|
|
|
|
import Data.Boltzmann.Sampler.TH (
|
|
|
|
mkDefWeights,
|
|
|
|
)
|
|
|
|
|
2022-03-27 12:28:57 +03:00
|
|
|
import Data.Boltzmann.BuffonMachine (
|
|
|
|
BuffonMachine,
|
2022-03-26 18:06:50 +03:00
|
|
|
EvalIO (..),
|
|
|
|
eval,
|
|
|
|
)
|