Archive for November, 2007
Double-click on a label = hide
GROOVE offers quite some functionality for showing and hiding nodes and edges. Most of these features are accessed from the right mouse-button menu of the elements of a graph or the elements in the labels-list on the right side of the interface. By doubleclicking on one of the labels in this list, all edges with […]
Posted: November 6th, 2007 under Tips and Tricks, Usage.
Comments: none
Display Format
Production Rules A GROOVE production rule is itself a graph combining four kinds of elements (i.e., nodes and edges). They are distinguished by color and shape. An example containing all types of elements is in the next picture (which represents the adding of an Object to a Buffer, becoming the last element of the Buffer). […]
Posted: November 6th, 2007 under Documentation, Usage.
Comments: none
