Compute the traversal graph for the class graph and strategy
graph with the given map, which is a partial map from labels in
the strategy graph to labels in the class graph.
Does the edge in the class graph meet the constraint on the ith
strategy edge, given the name map? The name map is a total map
and maps labels in the strategy graph to labels in the class
graph.
Compute the traversal graph for the class graph and strategy
graph with the given map, which is a partial map from labels in
the strategy graph to labels in the class graph.