tct-2.0.1: A Complexity Analyser for Term Rewrite Systems

Portabilityunportable
Stabilityunstable
MaintainerAndreas Schnabl <andreas.schnabl@uibk.ac.at>
Safe HaskellSafe-Infered

Tct.Method.Matrix.MatrixInterpretation

Description

This module defines matrix interpretations.

Documentation

data MatrixInter a

Constructors

MI 

Fields

dimension :: Int
 
signature :: Signature
 
interpretations :: Map Symbol (LInter a)
 

Instances

data LInter a

Constructors

LI 

Fields

coefficients :: Map Variable (Matrix a)
 
constant :: Vector a
 

Instances

data MIVar

Constructors

MIVar 

Fields

restrict :: Bool
 
varfun :: Symbol
 
argpos :: Int
 
varrow :: Int
 
varcol :: Int
 

Instances

type MatrixCreate a = Symbol -> Int -> Int -> Matrix a

data MatrixKind

Constructors

UnrestrictedMatrix 
ConstructorBased (Set Symbol) (Maybe Int) 
TriangularMatrix (Maybe Int) 
ConstructorEda (Set Symbol) (Maybe Int) 
EdaMatrix (Maybe Int) 

Instances

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

liProd :: Semiring a => Matrix a -> LInter a -> LInter a

liBigPlus :: Semiring a => Vector a -> [LInter a] -> LInter 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