RELAX NG implementation of Cyclic Enumerations grammar.
Cyclic enumerations are part of high-level common sorts.
They define any cyclic enumeration sort and related operators
over elements of that sort.
File name: cyclicenumerations.rng
Version: 2009
(c) 2007-2009
Lom Hillah (AFNOR)
Revision:
July 2008 - L.H
CyclicEnumeration is a built-in sort.
CyclicEnumOperator is a built-in operator.
A Cyclic Enumeration is a Finite Enumeration.
A finite enumeration operator is a built-in operator.
A finite enumeration operator defines known concrete operators.
Defines the 'successor' operator.
Defines the 'predecessor' operator.