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
SequenceForEdges Class
SequenceForEdges Methods
ApplyImpl Method
ApplyImplProfiling Method
Check Method
EvaluateArguments Method
GetLoopIterator Method
GetVariableRootType Method
SequenceForEdges
Check Method
Namespace:
de.unika.ipd.grGen.libGr
Assembly:
libGr (in libGr.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public
override
void
Check
(
SequenceCheckingEnvironment
env
)
Parameters
env
Type:
de.unika.ipd.grGen.libGr
SequenceCheckingEnvironment
See Also
Reference
SequenceForEdges Class
de.unika.ipd.grGen.libGr Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement