 | DisplaySequenceContextsequenceIdToChoicepointPosMap Field |
If not null, gives a mapping of the sequences by id to the choicepoint positions to be displayed.
Used for highlighting choicepoints during printing and rendering.
Namespace: de.unika.ipd.grGen.graphViewerAndSequenceDebuggerAssembly: graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.1
Syntax
See Also