Click or drag to resize

UserChoiceMenu Constructor

Initializes a new instance of the UserChoiceMenu class

Namespace:  de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly:  graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public UserChoiceMenu(
	UserChoiceMenuNames name,
	string[] optionNames
)

Parameters

name
Type: de.unika.ipd.grGen.graphViewerAndSequenceDebuggerUserChoiceMenuNames
optionNames
Type: SystemString
See Also