Solution Procedure
Graph could not be loaded
Graph could not be loaded


The graph viewer UI mainly consists of three panels:

  1. Left: An upper and lower text editor, for entering the solution procedures start and target spec respectively.
  2. Center: The Methodnet graph, an overview of all existing types and methods.
  3. Right: The solution procedure graph, a sequence of method calls linking the entered start specification to the desired target specification.

If you want to try out generating your own solution procedure, start by looking up the types and methods you’re interested in in demo_content.yml. Then enter start and target specification similar to the provided example. Multiple start specs are also possible. Once you’re done, click “Update” and inspect the result in the right panel.

Methodnet Elements

Solution Procedure Elements