Lines Matching refs:lambda_vector

31 typedef int *lambda_vector;
33 DEF_VEC_P(lambda_vector);
34 DEF_VEC_ALLOC_P(lambda_vector,heap);
38 typedef lambda_vector *lambda_matrix;
66 lambda_vector coefficients;
88 lambda_vector coefficients;
90 lambda_vector invariant_coefficients;
180 lambda_vector);
191 void lambda_matrix_vector_mult (lambda_matrix, int, int, lambda_vector,
192 lambda_vector);
208 static inline void lambda_vector_negate (lambda_vector, lambda_vector, int);
209 static inline void lambda_vector_mult_const (lambda_vector, lambda_vector, int, int);
210 static inline void lambda_vector_add (lambda_vector, lambda_vector,
211 lambda_vector, int);
212 static inline void lambda_vector_add_mc (lambda_vector, int, lambda_vector, int,
213 lambda_vector, int);
214 static inline void lambda_vector_copy (lambda_vector, lambda_vector, int);
215 static inline bool lambda_vector_zerop (lambda_vector, int);
216 static inline void lambda_vector_clear (lambda_vector, int);
217 static inline bool lambda_vector_equal (lambda_vector, lambda_vector, int);
218 static inline int lambda_vector_min_nz (lambda_vector, int, int);
219 static inline int lambda_vector_first_nz (lambda_vector, int, int);
220 static inline void print_lambda_vector (FILE *, lambda_vector, int);
224 static inline lambda_vector
236 lambda_vector_mult_const (lambda_vector vec1, lambda_vector vec2,
251 lambda_vector_negate (lambda_vector vec1, lambda_vector vec2,
260 lambda_vector_add (lambda_vector vec1, lambda_vector vec2,
261 lambda_vector vec3, int size)
271 lambda_vector_add_mc (lambda_vector vec1, int const1,
272 lambda_vector vec2, int const2,
273 lambda_vector vec3, int size)
283 lambda_vector_copy (lambda_vector vec1, lambda_vector vec2,
292 lambda_vector_zerop (lambda_vector vec1, int size)
304 lambda_vector_clear (lambda_vector vec1, int size)
312 lambda_vector_equal (lambda_vector vec1, lambda_vector vec2, int size)
325 lambda_vector_min_nz (lambda_vector vec1, int n, int start)
346 lambda_vector_first_nz (lambda_vector vec1, int n, int start)
358 lambda_vector_matrix_mult (lambda_vector vect, int m, lambda_matrix mat,
359 int n, lambda_vector dest)
372 print_lambda_vector (FILE * outfile, lambda_vector vector, int n)
405 lambda_vector_gcd (lambda_vector vector, int size)
423 lambda_vector_lexico_pos (lambda_vector v,