Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Reading the graph

The graph fills the window below the top bar. Each source file of the project is a file box labelled with its file name; the boxes it declares sit inside. Things declared outside the project are grouped in a dashed box labelled Outside.

Boxes

ShapeIs
Slightly rounded rectanglea concept
Pilla property
Squarea union

A concept lists its fields as rows name: Type, followed by the cardinality in brackets when there is one.

Arrows

LineMeans
Thick, solidsubclass of
Thin, solidhas (a field pointing to its type)
Dasheddomain or range of a property
Dotted, no headmember of a union

Several arrows between the same two boxes fan out so you can tell them apart. An arrow from a box to itself is a loop above it.

Descriptions

Hover a box, a field row or an arrow that has a description to read it in a tooltip.

Languages

When the project labels its terms in two languages or more, a selector (Display language) appears at the far left of the top-right controls. Default shows what the Dolfin compiler picked; the other options are the project’s language tags. The choice is remembered in this browser and shared with Agrafe and Pangloss.

The top-right controls

From left to right: the language selector, < and > (Previous and Next), 🔍 (the lens), and the View menu (the round magnifier) with Reset layout, Zoom in, Zoom out and Snap to grid (see Layout and Moving around).

When there is nothing to show

  • Loading graph… while Agrafe compiles the project.
  • This project has no concepts yet.
  • Project not found. The project was deleted, or is no longer shared with you.
  • The project’s sources don’t compile: … Fix the errors in Agrafe; the graph appears once they are gone (see Working alongside Agrafe).