added type-definitions for better distinction

This commit is contained in:
Nicole Dresselhaus 2013-11-22 23:22:38 +01:00
parent 6e1421018c
commit 5d66fb1310
5 changed files with 5 additions and 2 deletions

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

View File

@ -42,8 +42,11 @@ type Matrix e = A.Array A.DIM2 e
type Attr = Matrix A.Int8
-- Graph consists of a Vector denoting which colums of the matrix represents wich originating
-- column in the global adjencency-matrix
type Graph = (A.Vector A.Int8, Matrix A.Int8)
-- column in the global adjencency-matrix, the reduces adjencency-matrix of the graph, a
-- matrix of constraints and a scalar denoting the density
newtype Constraints = Matrix A.Float
type Density = A.Scalar A.Float
type Graph = (A.Vector A.Int8, Matrix A.Int8, Constraints, Density)
-- Adjecency-Matrix
type Adj = Matrix A.Int8
-- Vector of the Adjecency-Matrix