GrGen.NET v4.4 API: the libGr class library (the type exact interface gets generated)
IsProcedureCallExternal Method (paramBindings)
Namespacesde.unika.ipd.grGen.libGrSequenceCheckingEnvironmentIsProcedureCallExternal(ProcedureInvocationParameterBindings)
Declaration Syntax
C#
public abstract bool IsProcedureCallExternal(
	ProcedureInvocationParameterBindings paramBindings
)
Parameters

Assembly: libGr (Module: libGr) Version: 4.4.0.0 (4.4.0.0)