with Standard_Natural_Vectors;
with Standard_Integer_Vectors;
package Graded_Lexicographic_Order is
-- DESCRIPTION :
-- This package provides a graded lexicographical ordening on vectors
-- of standard natural and integer numbers;
function "<" ( v1,v2 : Standard_Natural_Vectors.Vector ) return boolean;
function "<" ( v1,v2 : Standard_Natural_Vectors.Link_to_Vector )
return boolean;
function ">" ( v1,v2 : Standard_Natural_Vectors.Vector ) return boolean;
function ">" ( v1,v2 : Standard_Natural_Vectors.Link_to_Vector )
return boolean;
function ">" ( v1,v2 : Standard_Integer_Vectors.Vector ) return boolean;
function ">" ( v1,v2 : Standard_Integer_Vectors.Link_to_Vector )
return boolean;
function "<" ( v1,v2 : Standard_Integer_Vectors.Vector ) return boolean;
function "<" ( v1,v2 : Standard_Integer_Vectors.Link_to_Vector )
return boolean;
end Graded_Lexicographic_Order;