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
| | Constructors | |  Instances | | 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) |
|
|
