A description of which substances should be selected over in a forall selector.
The keys are the names of the variables to assign, and the values are the types of the substances to assign to them.
For example, selecting over all pairs of Birds and single Trees, assigning the birds to b1 and b2 and the tree to t,
could look like:
A description of which substances should be selected over in a
forall
selector. The keys are the names of the variables to assign, and the values are the types of the substances to assign to them.For example, selecting over all pairs of
Bird
s and singleTree
s, assigning the birds tob1
andb2
and the tree tot
, could look like: