 | DebuggerChooseValue Method |
returns a user chosen/input value of the given type
no random input value is supplied, the user must give a value
Namespace: de.unika.ipd.grGen.graphViewerAndSequenceDebuggerAssembly: graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.1
Syntax
See Also