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.1
Syntax
C#
Copy
public UserChoiceMenu(
	UserChoiceMenuNames name,
	string[] optionNames
)

Parameters

name  UserChoiceMenuNames
 
optionNames  String
 
See Also