GoldDotNet Documentation

ParseTree.header Method 

Build a DOT graph header.

public void header();

See Also

ParseTree Class | WorldMaker.Util.GoldDot Namespace