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.libGr
CompliantUserProxyForSequenceExecution Class
CompliantUserProxyForSequenceExecution Methods
ChooseDirection Method
ChooseMatch Method
ChoosePoint Method
ChooseRandomNumber Method
ChooseSequence Method
ChooseValue Method
HandleAssert Method
CompliantUserProxyForSequenceExecution
ChooseDirection Method
Namespace:
de.unika.ipd.grGen.libGr
Assembly:
libGr (in libGr.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public
int
ChooseDirection
(
int
direction
,
Sequence
seq
)
Parameters
direction
Type:
System
Int32
seq
Type:
de.unika.ipd.grGen.libGr
Sequence
Return Value
Type:
Int32
Implements
IUserProxyForSequenceExecution
ChooseDirection(Int32, Sequence)
See Also
Reference
CompliantUserProxyForSequenceExecution Class
de.unika.ipd.grGen.libGr Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement