The instance query system in COOL
provides six functions. For a given set of instances, all six
query functions will iterate over these instances in the same
order (see section 9.7.2). However, if a particular instance
is deleted and recreated, the iteration order will change.
9.7.8.1 Testing if Any Instance-set Satisfies a Query
9.7.8.2 Determining the First Instance-set Satisfying a Query
9.7.8.3 Determining All Instance-sets Satisfying a Query
9.7.8.4 Executing an Action for the First Instance-set Satisfying
a Query
9.7.8.5 Executing an Action for All Instance-sets Satisfying
a Query
9.7.8.6 Executing a Delayed Action for All Instance-sets Satisfying a Query