}
/** returns the constraint-conjunction "(forall v)Mv=v" */
- public AffineConstraint getConstraint(float epsilon) {
+ public AffineConstraint getAffineConstraint(float epsilon) {
AffineConstraint c1 = getConstraint(a-1, b, c, d , epsilon);
AffineConstraint c2 = getConstraint(e, f-1, g, h , epsilon);
AffineConstraint c3 = getConstraint(i, j, k-1, l , epsilon);