camfort-0.904: CamFort - Cambridge Fortran infrastructure

Safe HaskellNone
LanguageHaskell2010

Camfort.Specification.Stencils.Consistency

Synopsis

Documentation

consistent :: forall n. Specification -> Multiplicity (UnionNF n Offsets) -> ConsistencyResult Source #

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