Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Polynomials/graded_lexicographic_order.ads, Revision 1.1
1.1 ! maekawa 1: with Standard_Natural_Vectors;
! 2: with Standard_Integer_Vectors;
! 3:
! 4: package Graded_Lexicographic_Order is
! 5:
! 6: -- DESCRIPTION :
! 7: -- This package provides a graded lexicographical ordening on vectors
! 8: -- of standard natural and integer numbers;
! 9:
! 10: function "<" ( v1,v2 : Standard_Natural_Vectors.Vector ) return boolean;
! 11: function "<" ( v1,v2 : Standard_Natural_Vectors.Link_to_Vector )
! 12: return boolean;
! 13: function ">" ( v1,v2 : Standard_Natural_Vectors.Vector ) return boolean;
! 14: function ">" ( v1,v2 : Standard_Natural_Vectors.Link_to_Vector )
! 15: return boolean;
! 16:
! 17: function ">" ( v1,v2 : Standard_Integer_Vectors.Vector ) return boolean;
! 18: function ">" ( v1,v2 : Standard_Integer_Vectors.Link_to_Vector )
! 19: return boolean;
! 20: function "<" ( v1,v2 : Standard_Integer_Vectors.Vector ) return boolean;
! 21: function "<" ( v1,v2 : Standard_Integer_Vectors.Link_to_Vector )
! 22: return boolean;
! 23:
! 24: end Graded_Lexicographic_Order;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>