SequenceCheckingEnvironmentCompiled Constructor

Initializes a new instance of the SequenceCheckingEnvironmentCompiled class

Namespace: de.unika.ipd.grGen.libGr
Assembly: libGr (in libGr.dll) Version: GrGen.NET 7.2

Syntax

public SequenceCheckingEnvironmentCompiled(
	ActionNames actionNames,
	ActionsTypeInformation actionsTypeInformation,
	IGraphModel model
)

actionNames: Type: de.unika.ipd.grGen.libGrActionNames
actionsTypeInformation: Type: de.unika.ipd.grGen.libGrActionsTypeInformation
model: Type: de.unika.ipd.grGen.libGrIGraphModel