Camfort.Specification.Stencils.Consistency

Documentation

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

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

data ConsistencyResult

Constructors

Consistent

Inconsistent String

Instances

Eq ConsistencyResult

Methods

(==) :: ConsistencyResult -> ConsistencyResult -> Bool

(/=) :: ConsistencyResult -> ConsistencyResult -> Bool

Show ConsistencyResult

Methods

showsPrec :: Int -> ConsistencyResult -> ShowS

show :: ConsistencyResult -> String

showList :: [ConsistencyResult] -> ShowS