GrGen.NET v7.2 API: the libGr class library (the type exact interface gets generated)

GrGen.NET v7.2 API: the libGr class library (the type exact interface gets generated)

de.unika.ipd.grGen.graphViewerAndSequenceDebugger

UserChoiceMenu Class

UserChoiceMenu Fields

optionNames Field

Click or drag to resize

UserChoiceMenu Fields

The UserChoiceMenu type exposes the following members.

Fields

	Name	Description
	name
	optionNames
	options

See Also

Reference

UserChoiceMenu Class

de.unika.ipd.grGen.graphViewerAndSequenceDebugger Namespace

German legal requirement: Impressum / Imprint and Datenschutzerklärung / Privacy Statement