Portability | portable |
---|---|
Stability | experimental |
Maintainer | mik@konecny.aow.cz |
- data ERFnDomEdgesApprox varid fa = ERFnDomEdgesApprox {
- erfnMainVolume :: fa
- erfnEdges :: Map (varid, PlusMinus) (ERFnDomEdgesApprox varid fa)
Documentation
data ERFnDomEdgesApprox varid fa Source
Use some function approximation type and for each domain box keep a structure of function approximations of this type indexed by the hyper-edge structure. For each hyper-edge of the domain, the approximation has this edge as its domain.
E.g. for a 2D square domain there are:
- one approximation for the whole square
- four 1D approximations, one for each edge
- eight 0D approximations, one for each endpoint of each edge
ERFnDomEdgesApprox | |
|
Typeable2 ERFnDomEdgesApprox | |
(ERFnDomApprox box varid domra ranra fa, VariableID varid, Show box) => ERFnDomApprox box varid domra ranra (ERFnDomEdgesApprox varid fa) | |
(ERFnDomApprox box varid domra ranra fa, VariableID varid, Show box) => ERFnApprox box varid domra ranra (ERFnDomEdgesApprox varid fa) | |
ERFnApprox box varid domra ranra fa => Eq (ERFnDomEdgesApprox varid fa) | |
(ERFnDomApprox box varid domra ranra fa, VariableID varid) => Fractional (ERFnDomEdgesApprox varid fa) | |
(Data varid, Data fa, Ord varid) => Data (ERFnDomEdgesApprox varid fa) | |
(ERFnDomApprox box varid domra ranra fa, VariableID varid) => Num (ERFnDomEdgesApprox varid fa) | |
(ERFnApprox box varid domra ranra fa, Ord fa) => Ord (ERFnDomEdgesApprox varid fa) | |
(ERFnDomApprox box varid domra ranra fa, Ord varid, VariableID varid) => Show (ERFnDomEdgesApprox varid fa) | |
(ERFnDomApprox box varid domra ranra fa, ERApproxElementary fa, VariableID varid, Show box) => ERApproxElementary (ERFnDomEdgesApprox varid fa) | |
(ERFnDomApprox box varid domra ranra fa, VariableID varid, Show box) => ERApprox (ERFnDomEdgesApprox varid fa) | |
(ERFnDomApprox box varid domra ranra fa, ERIntApprox fa, VariableID varid, Show box) => ERIntApprox (ERFnDomEdgesApprox varid fa) | |
(Ord a, Binary a, Binary b) => Binary (ERFnDomEdgesApprox a b) | |
(ERFnDomApprox box varid domra ranra fa, HTML fa) => HTML (ERFnDomEdgesApprox varid fa) |