Click or drag to resize

DebuggerChooseRandomNumber Method (Int32, Int32, Sequence)

returns the maybe user altered random number in the range 0 - upperBound exclusive for the sequence given the random number chosen is supplied

Namespace:  de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly:  graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.2
Syntax
C#
public int ChooseRandomNumber(
	int randomNumber,
	int upperBound,
	Sequence seq
)

Parameters

randomNumber
Type: SystemInt32
upperBound
Type: SystemInt32
seq
Type: de.unika.ipd.grGen.libGrSequence

Return Value

Type: Int32

Implements

IUserProxyForSequenceExecutionChooseRandomNumber(Int32, Int32, Sequence)
See Also