Safe Haskell	None
Language	Haskell2010

Haal.EquivalenceOracle.WMethod

Description

This module implements the W-method equivalence oracle.

Synopsis

Documentation

The WMethod type represents the W-method equivalence oracle.

Instances details

Show WMethod Source #
Instance details Defined in Haal.EquivalenceOracle.WMethod Methods showsPrec :: Int -> WMethod -> ShowS # show :: WMethod -> String # showList :: [WMethod] -> ShowS #
Eq WMethod Source #
Instance details Defined in Haal.EquivalenceOracle.WMethod Methods (==) :: WMethod -> WMethod -> Bool # (/=) :: WMethod -> WMethod -> Bool #
EquivalenceOracle WMethod Source #
Instance details Defined in Haal.EquivalenceOracle.WMethod Methods testSuite :: (Automaton aut s, FiniteOrd i, FiniteOrd s, Eq o) => WMethod -> aut s i o -> (WMethod, [[i]]) Source #

The WMethodConfig type is used to configure the W-method equivalence oracle.

Constructors

WMethodConfig
Fields wmDepth :: Int The number of extra states beyond the hypothesis to account for.

Instances details

Show WMethodConfig Source #
Instance details Defined in Haal.EquivalenceOracle.WMethod Methods showsPrec :: Int -> WMethodConfig -> ShowS # show :: WMethodConfig -> String # showList :: [WMethodConfig] -> ShowS #
Eq WMethodConfig Source #
Instance details Defined in Haal.EquivalenceOracle.WMethod Methods (==) :: WMethodConfig -> WMethodConfig -> Bool # (/=) :: WMethodConfig -> WMethodConfig -> Bool #

The wmethodSuiteSize function computes the size of the test suite for the W-method.

The RandomWMethod type represents a random W-method equivalence oracle.

Instances details

Show RandomWMethod Source #
Instance details Defined in Haal.EquivalenceOracle.WMethod Methods showsPrec :: Int -> RandomWMethod -> ShowS # show :: RandomWMethod -> String # showList :: [RandomWMethod] -> ShowS #
Eq RandomWMethod Source #
Instance details Defined in Haal.EquivalenceOracle.WMethod Methods (==) :: RandomWMethod -> RandomWMethod -> Bool # (/=) :: RandomWMethod -> RandomWMethod -> Bool #
EquivalenceOracle RandomWMethod Source #
Instance details Defined in Haal.EquivalenceOracle.WMethod Methods testSuite :: (Automaton aut s, FiniteOrd i, FiniteOrd s, Eq o) => RandomWMethod -> aut s i o -> (RandomWMethod, [[i]]) Source #

The RandomWMethodConfig type is used to configure the random W-method.

Constructors

RandomWMethodConfig
Fields rwmGen :: StdGen The random number generator. rwmLimit :: Int The maximum number of random words to generate. rwmLength :: Int The maximum length of the random words.

Instances details

Show RandomWMethodConfig Source #
Instance details Defined in Haal.EquivalenceOracle.WMethod Methods showsPrec :: Int -> RandomWMethodConfig -> ShowS # show :: RandomWMethodConfig -> String # showList :: [RandomWMethodConfig] -> ShowS #
Eq RandomWMethodConfig Source #
Instance details Defined in Haal.EquivalenceOracle.WMethod Methods (==) :: RandomWMethodConfig -> RandomWMethodConfig -> Bool # (/=) :: RandomWMethodConfig -> RandomWMethodConfig -> Bool #

Constructor for a WMethod value.

Constructor for a RandomWMethod value.