| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Camfort.Specification.Stencils.Model
- model :: Multiplicity (Approximation Spatial) -> Int -> Multiplicity (Approximation (Set [Int]))
- consistent :: Multiplicity [[Int]] -> Multiplicity (Approximation Spatial) -> Bool
- class Model spec where
- type Domain spec
- mkSingleEntryNeg :: Int -> Int -> Int -> [Int]
- tensor :: Int -> [[Int]] -> [[Int]] -> Set [Int]
- cprodVs :: [[[Int]]] -> [[Int]]
- cprodV :: [[Int]] -> [[Int]] -> [[Int]]
- pairwisePerm :: [Int] -> [Int] -> [[Int]]
- maximum1 :: (Ord t, Num t) => [t] -> t
Documentation
model :: Multiplicity (Approximation Spatial) -> Int -> Multiplicity (Approximation (Set [Int])) Source #
This function maps inner representation to a set of vectors of length
- given by dim. This is the mathematical representation of the
- specification. |
consistent :: Multiplicity [[Int]] -> Multiplicity (Approximation Spatial) -> Bool Source #