Portability | portable |
---|---|
Stability | experimental |
Maintainer | mik@konecny.aow.cz |
Quickcheck properties of basic enclosure operations, mainly ring operations.
Documentation
prop_enclAdd_ThickEncls_consistent :: (ERUnitFnBaseEncl boxb boxra varid b ra t, Show boxra, ERInnerOuterApprox ra) => (t, t) -> String -> (Deg5Size10, (FBEnclThickSize10 t, FBEnclThickSize10 t)) -> BoolSource
prop_enclAdd_ParalEncls_consistent :: (ERUnitFnBaseEncl boxb boxra varid b ra t, Show boxra, ERInnerOuterApprox ra) => (t, t) -> String -> (Deg5Size10, (FBEnclParalSize10 t, FBEnclParalSize10 t)) -> BoolSource
prop_enclAdd_ThinEncls_consistent :: (ERUnitFnBaseEncl boxb boxra varid b ra t, Show boxra, ERInnerOuterApprox ra) => (t, t) -> String -> (Deg5Size10, (FBEnclThinSize10 t, FBEnclThinSize10 t)) -> BoolSource
prop_enclMult_ThickEncls_consistent :: (ERUnitFnBaseEncl boxb boxra varid b ra t, Show boxra, ERInnerOuterApprox ra) => (t, t) -> String -> (Deg5Size10, (FBEnclThickSize10 t, FBEnclThickSize10 t)) -> BoolSource
prop_enclMult_ParalEncls_consistent :: (ERUnitFnBaseEncl boxb boxra varid b ra t, Show boxra, ERInnerOuterApprox ra) => (t, t) -> String -> (Deg5Size10, (FBEnclParalSize10 t, FBEnclParalSize10 t)) -> BoolSource
prop_enclMult_ThinEncls_consistent :: (ERUnitFnBaseEncl boxb boxra varid b ra t, Show boxra, ERInnerOuterApprox ra) => (t, t) -> String -> (Deg5Size10, (FBEnclThinSize10 t, FBEnclThinSize10 t)) -> BoolSource