What does AP save during evolution? Terminology.
T(G,S): traversal methods for G and S.
- S is not necessarily a strategy; it could be an English specification that says how to traverse G-objects.
TG(G,S): traversal graph for G and S.
Compatible(G,S): Is G compatible with S? For all edges (x,y) in S there is a path in G from x to y.