This allows us to navigate edges between scope graphs forward:

  /**
   * Get direct edges from a scope
   *
   * @param a : Analysis
   * @type Scope -> List((Label,Scope))
   */
  nabl2-get-scope-direct-edges(|a) = ...

But we should also be able to navigate these edges backward:

  /**
   * Get direct edges from a scope
   *
   * @param a : Analysis
   * @type Scope -> List((Label,Scope))
   */
  nabl2-get-scope-direct-edges-inv(|a) = ...

Submitted by Daco Harkes on 28 October 2016 at 19:18

This is part of the API now. See https://github.com/metaborg/nabl/blob/master/org.metaborg.meta.nabl2.runtime/trans/nabl2/api.str#L209.