Portability | unportable |
---|---|
Stability | unstable |
Maintainer | Andreas Schnabl <andreas.schnabl@uibk.ac.at> |
Safe Haskell | Safe-Infered |
This module defines matrix interpretations.
Documentation
data MatrixInter a
Functor MatrixInter | |
Show a => Show (MatrixInter a) | |
(Eq a, PrettyPrintable a, Semiring a) => PrettyPrintable (MatrixInter a) | |
Decoder (MatrixInter (Size -> ArcInt)) (ArcBZVec DioVar) | |
Decoder (MatrixInter (Size -> Int)) (PLVec DioVar) | |
Semiring a => Interpretation (MatrixInter a) (LInter a) |
data LInter a
Functor LInter | |
Show a => Show (LInter a) | |
(Eq a, PrettyPrintable a, Semiring a) => PrettyPrintable (LInter a) | |
(AbstrEq a b, MIEntry a) => AbstrEq (LInter a) b | |
(AbstrEq a b, AIEntry a) => AbstrEq (LInter a) b | |
(AbstrOrd a b, MIEntry a) => AbstrOrd (LInter a) b | |
(AbstrOrd a b, AIEntry a) => AbstrOrd (LInter a) b | |
Semiring a => Interpretation (MatrixInter a) (LInter a) | |
(Eq a, PrettyPrintable a, Semiring a) => PrettyPrintable (LInter a, Variables) |
data MIVar
type MatrixCreate a = Symbol -> Int -> Int -> Matrix a
data MatrixKind
toXml :: MatrixInter Int -> MatrixKind -> UsablePositions -> [XmlContent]
pprintLI :: (Eq a, PrettyPrintable a, Semiring a) => String -> Int -> (Variable -> Doc) -> LInter a -> Doc
stdMatrix :: RingConst a => MatrixCreate a
triMatrix :: RingConst a => MatrixCreate a
edaMatrix :: RingConst a => MatrixCreate a
abstractInterpretation :: RingConst a => MatrixKind -> Int -> Signature -> MatrixInter a
triConstraints :: AbstrOrdSemiring a b => MatrixInter a -> b
maxNonIdMatrix :: (AbstrOrdSemiring a Bool, AbstrEq (Matrix a) Bool) => MatrixInter a -> Matrix a
maxMatrix :: AbstrOrdSemiring a Bool => MatrixInter a -> Matrix a