RELAX NG implementation of Finite Integer Ranges grammar.
Finite Integer Ranges are part of the high-level common sorts.
They define any finite integer range and related operators
over elements of that sort.
File name: finiteintranges.rng
Version: 2009
(c) 2007-2009
Lom Hillah (AFNOR)
Revision:
July 2008 - L.H
FiniteIntRange is a built-in sort.
[
]
FiniteIntRangeOperator is a built-in operator.
[
]
FiniteIntRangeConstant is a built-in constant.
[
]
A FiniteIntRange is a built-in sort.
The content of FiniteIntRangeOperator is the one of BuiltInOperator.
[
]
It is a built-in operator. It defines known concrete operators.
[
][
][
][
]
Defines the 'less than' operator.
[
]
Defines the 'less than or equal' operator.
[
]
Defines the 'greater than' operator.
[
]
Defines the 'greater than or equal' operator.
[
]
Defines the constant of a declared Finite Integer Range sort.
It refers to that declared sort.
[
][
]