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