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 Methods

ContainsKey Method

IsCurrentlyAvailable Method

ToOptionsString Method

Click or drag to resize

UserChoiceMenu Methods

The UserChoiceMenu type exposes the following members.

Methods

	Name	Description
	ContainsKey
	GetKey
	IsCurrentlyAvailable
	ToOptionsString

See Also

Reference

UserChoiceMenu Class

de.unika.ipd.grGen.graphViewerAndSequenceDebugger Namespace

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