Context

Since the analysis is extended to describe set of h-transformations by making use of pseudo-parameters the range in which these parameters are valid must be represented as a part of the dependences.
The datastructure describing the polyhedron that represents the valid range is called context.
The context is written into the .dep-file iff an pseudo-parameter was introduced by this tool.
The inequalities have the following structure

<pseudo-parameter> <coeff. of structure-par.> <offset> >= 0

Format:

number the pseudo-parameter that will be saved right now

stride

denominator of the stride

# of inequalities

# of variables

# of parameters

denominator of coefficient-matrix

coefficient-matrix /* REMEMBER the structure described above!*/

number the pseudo-parameter that will be saved right now
...