Los valores de un tipo ordinal tienen una correspondencia biunívoca con el conjunto de enteros positivos. Tales valores estan ordenados de manera que a cada uno le corresponde un valor ordinal único que indica su posición en la lista de todos los valores posibles de ese tipo.
Hay tres funciones predeclaradas que operan solamente sobre expresiones de tipo ordinal, proporcionando información sobre la secuencia de valores ordenados de ese tipo:
. La función PRED busca al predecesor de cualquier valor de un tipo ordinal, excepto para el menor de todos.
. La función SUCC busca al sucesor de cualquier valor de un tipo ordinal, excepto para el mayor de todos.
. La función ORD busca al ordinal de un valor y lo devuelve como un entero. El ordinal de un entero es el mismo entero.
No hay comentarios:
Publicar un comentario