| Safe Haskell | None |
|---|
Test.Ganeti.HTools.Graph
Description
Unittests for Ganeti.Htools.Graph
- data TestableGraph = TestableGraph Graph
- data TestableClique = TestableClique Graph
- undirEdges :: Gen (Bounds, [Edge])
- cliqueEdges :: Gen (Bounds, [Edge])
- case_emptyVertColorMapNull :: Assertion
- case_emptyVertColorMapEmpty :: Assertion
- anyTwo :: (a -> a -> Bool) -> [a] -> Bool
- prop_verticesByDegreeAscAsc :: TestableGraph -> Bool
- prop_verticesByDegreeDescDesc :: TestableGraph -> Bool
- prop_isColorableTestableGraph :: TestableGraph -> Bool
- prop_isColorableTestableClique :: TestableClique -> Bool
- prop_colorClique :: (Graph -> VertColorMap) -> TestableClique -> Property
- prop_colorLFClique :: TestableClique -> Property
- prop_colorDsaturClique :: TestableClique -> Property
- prop_colorDcolorClique :: TestableClique -> Property
- prop_colorAllNodes :: (Graph -> VertColorMap) -> TestableGraph -> Property
- prop_colorLFAllNodes :: TestableGraph -> Property
- prop_colorDsaturAllNodes :: TestableGraph -> Property
- prop_colorDcolorAllNodes :: TestableGraph -> Property
- prop_colorProper :: (Graph -> VertColorMap) -> TestableGraph -> Bool
- prop_colorLFProper :: TestableGraph -> Bool
- prop_colorDsaturProper :: TestableGraph -> Bool
- prop_colorDcolorProper :: TestableGraph -> Bool
- testHTools_Graph :: Test
Documentation
data TestableGraph Source
Constructors
| TestableGraph Graph |
Instances
| Show TestableGraph | |
| Arbitrary TestableGraph |
data TestableClique Source
Constructors
| TestableClique Graph |
Instances
| Show TestableClique | |
| Arbitrary TestableClique |
undirEdges :: Gen (Bounds, [Edge])Source
cliqueEdges :: Gen (Bounds, [Edge])Source
case_emptyVertColorMapNull :: AssertionSource
case_emptyVertColorMapEmpty :: AssertionSource
prop_verticesByDegreeAscAsc :: TestableGraph -> BoolSource
prop_verticesByDegreeDescDesc :: TestableGraph -> BoolSource
prop_isColorableTestableGraph :: TestableGraph -> BoolSource
prop_colorClique :: (Graph -> VertColorMap) -> TestableClique -> PropertySource
prop_colorLFClique :: TestableClique -> PropertySource
prop_colorDsaturClique :: TestableClique -> PropertySource
prop_colorDcolorClique :: TestableClique -> PropertySource
prop_colorAllNodes :: (Graph -> VertColorMap) -> TestableGraph -> PropertySource
prop_colorLFAllNodes :: TestableGraph -> PropertySource
prop_colorDsaturAllNodes :: TestableGraph -> PropertySource
prop_colorDcolorAllNodes :: TestableGraph -> PropertySource
prop_colorProper :: (Graph -> VertColorMap) -> TestableGraph -> BoolSource
prop_colorLFProper :: TestableGraph -> BoolSource
prop_colorDsaturProper :: TestableGraph -> BoolSource
prop_colorDcolorProper :: TestableGraph -> BoolSource
testHTools_Graph :: TestSource
List of tests for the Graph module.