Safe Haskell	None
Language	Haskell2010

Camfort.Specification.Stencils.Consistency

Synopsis

Documentation

This function checks multiplicity consistency and then delegates the spatial consistency to |consistent'| function.

Constructors

Consistent
Inconsistent String

Instances

Eq ConsistencyResult Source #
Methods (==) :: ConsistencyResult -> ConsistencyResult -> Bool # (/=) :: ConsistencyResult -> ConsistencyResult -> Bool #
Show ConsistencyResult Source #
Methods showsPrec :: Int -> ConsistencyResult -> ShowS # show :: ConsistencyResult -> String # showList :: [ConsistencyResult] -> ShowS #