GoldDotNet Documentation

DfaGraph.header Method 

Build a DOT graph header.

public void header();

See Also

DfaGraph Class | WorldMaker.Util.GoldDot Namespace