| Copyright | (c) Immanuel Albrecht 2020-202x |
|---|---|
| License | BSD-3 |
| Maintainer | mail@immanuel-albrecht.de |
| Stability | experimental |
| Portability | POSIX |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Test.Matroid.Generators
Description
This module contains QuickCheck generators for testing purposes.
Synopsis
- genUniformMatroids :: Gen (UniformMatroid Int)
- genSmallUniformMatroids :: Gen (UniformMatroid Int)
- genGraphicMatroids :: Gen (GraphicMatroid Int (Int, Int, Int))
- genSmallGraphicMatroids :: Gen (GraphicMatroid Int (Int, Int, Int))
- genMKnMatroids :: Gen (GraphicMatroid Int (Int, Int))
- genFreeMatroids :: Gen (FreeMatroid Int)
- viaRank :: Matroid m a => Gen (m a) -> Gen (RkMatroid a)
- viaIndep :: Matroid m a => Gen (m a) -> Gen (IndepMatroid a)
- viaBasisFilter :: Matroid m a => Gen (m a) -> Gen (BasisFilterMatroid a)
- viaRestriction :: Matroid m a => Gen (m a) -> Gen (AMatroid a)
- viaContraction :: Matroid m a => Gen (m a) -> Gen (AMatroid a)
- viaDual :: Matroid m a => Gen (m a) -> Gen (AMatroid a)
Documentation
genUniformMatroids :: Gen (UniformMatroid Int) Source #
a generator for uniform matroids of a reasonable size
genSmallUniformMatroids :: Gen (UniformMatroid Int) Source #
a generator for uniform matroids of small size
genGraphicMatroids :: Gen (GraphicMatroid Int (Int, Int, Int)) Source #
a generator for graphic matroids of reasonable size
genSmallGraphicMatroids :: Gen (GraphicMatroid Int (Int, Int, Int)) Source #
a generator for graphic matroids of small size
genMKnMatroids :: Gen (GraphicMatroid Int (Int, Int)) Source #
a generator for M(K_n) matroids of reasonable size
genFreeMatroids :: Gen (FreeMatroid Int) Source #
a generator for free matroids of a reasonable size
viaRank :: Matroid m a => Gen (m a) -> Gen (RkMatroid a) Source #
a generator for consintency matroid type based on another generator
viaIndep :: Matroid m a => Gen (m a) -> Gen (IndepMatroid a) Source #
a generator for consintency matroid type based on another generator
viaBasisFilter :: Matroid m a => Gen (m a) -> Gen (BasisFilterMatroid a) Source #
a generator for consintency matroid type based on another generator
viaRestriction :: Matroid m a => Gen (m a) -> Gen (AMatroid a) Source #
a generator for matroids of the form M|X based on a generator for M