Camfort.Specification.Stencils.Model

Documentation

model :: Multiplicity (Approximation Spatial) -> Int -> Multiplicity (Approximation (Set [Int]))

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

class Model spec where

Minimal complete definition

mkModel, dimensions

Associated Types

type Domain spec

Methods

mkModel :: (?globalDimensionality :: Int) => spec -> Domain spec

dimensionality :: spec -> Int

dimensions :: spec -> [Int]

Instances

Model RegionSum

Associated Types

type Domain RegionSum :: *

Methods

mkModel :: RegionSum -> Domain RegionSum

dimensionality :: RegionSum -> Int

dimensions :: RegionSum -> [Int]

Model RegionProd

Associated Types

type Domain RegionProd :: *

Methods

mkModel :: RegionProd -> Domain RegionProd

dimensionality :: RegionProd -> Int

dimensions :: RegionProd -> [Int]

Model Region

Associated Types

type Domain Region :: *

Methods

mkModel :: Region -> Domain Region

dimensionality :: Region -> Int

dimensions :: Region -> [Int]

Model Spatial

Associated Types

type Domain Spatial :: *

Methods

mkModel :: Spatial -> Domain Spatial

dimensionality :: Spatial -> Int

dimensions :: Spatial -> [Int]

Model Specification

Associated Types

type Domain Specification :: *

Methods

mkModel :: Specification -> Domain Specification

dimensionality :: Specification -> Int

dimensions :: Specification -> [Int]

Model a => Model (Maybe a)

Associated Types

type Domain (Maybe a) :: *

Methods

mkModel :: Maybe a -> Domain (Maybe a)

dimensionality :: Maybe a -> Int

dimensions :: Maybe a -> [Int]

Model (Multiplicity (Approximation Spatial))

Associated Types

type Domain (Multiplicity (Approximation Spatial)) :: *

Methods

mkModel :: Multiplicity (Approximation Spatial) -> Domain (Multiplicity (Approximation Spatial))

dimensionality :: Multiplicity (Approximation Spatial) -> Int

dimensions :: Multiplicity (Approximation Spatial) -> [Int]

Model (Approximation Spatial)

Associated Types

type Domain (Approximation Spatial) :: *

Methods

mkModel :: Approximation Spatial -> Domain (Approximation Spatial)

dimensionality :: Approximation Spatial -> Int

dimensions :: Approximation Spatial -> [Int]

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