| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Haal.EquivalenceOracle.RandomWalk
Description
This module implements the Random Walk equivalence oracle.
Synopsis
- data RandomWalk
- data RandomWalkConfig = RandomWalkConfig {
- rwlGen :: StdGen
- rwlMaxSteps :: Int
- rwlRestart :: Double
- mkRandomWalk :: RandomWalkConfig -> Either String RandomWalk
Documentation
data RandomWalk Source #
The RandomWalk data type is just a wrapper around the config.
Instances
| Show RandomWalk Source # | |
Defined in Haal.EquivalenceOracle.RandomWalk Methods showsPrec :: Int -> RandomWalk -> ShowS # show :: RandomWalk -> String # showList :: [RandomWalk] -> ShowS # | |
| Eq RandomWalk Source # | |
Defined in Haal.EquivalenceOracle.RandomWalk | |
| EquivalenceOracle RandomWalk Source # | |
Defined in Haal.EquivalenceOracle.RandomWalk Methods testSuite :: (Automaton aut s, FiniteOrd i, FiniteOrd s, Eq o) => RandomWalk -> aut s i o -> (RandomWalk, [[i]]) Source # | |
data RandomWalkConfig Source #
The RandomWalkConfig data type represents the configuration for an instance of the RandomWalk algorithm.
Constructors
| RandomWalkConfig | |
Fields
| |
Instances
| Show RandomWalkConfig Source # | |
Defined in Haal.EquivalenceOracle.RandomWalk Methods showsPrec :: Int -> RandomWalkConfig -> ShowS # show :: RandomWalkConfig -> String # showList :: [RandomWalkConfig] -> ShowS # | |
| Eq RandomWalkConfig Source # | |
Defined in Haal.EquivalenceOracle.RandomWalk Methods (==) :: RandomWalkConfig -> RandomWalkConfig -> Bool # (/=) :: RandomWalkConfig -> RandomWalkConfig -> Bool # | |
mkRandomWalk :: RandomWalkConfig -> Either String RandomWalk Source #
Constructor for a RandomWalk value.