The domain OrderedVariableList provides symbols which are restricted to a particular list and have a definite ordering. Those two features are specified by a List Symbol object that is the argument to the domain.
This is a sample ordering of three symbols.
Type: List Symbol
Let’s build the domain
How many variables does it have?
They are (in the imposed order)
lv:=[index(i::PI)$Z for i in 1..size()$Z]
Type: List OrderedVariableList [x,a,z]
Check that the ordering is right