SequenceExpressionCountBoundedReachable Constructor (SequenceExpressionCountBoundedReachable, DictionarySequenceVariable, SequenceVariable, IGraphProcessingEnvironment)

Initializes a new instance of the SequenceExpressionCountBoundedReachable class

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

Syntax

protected SequenceExpressionCountBoundedReachable(
	SequenceExpressionCountBoundedReachable that,
	Dictionary<SequenceVariable, SequenceVariable> originalToCopy,
	IGraphProcessingEnvironment procEnv
)

Parameters

that: Type: de.unika.ipd.grGen.libGrSequenceExpressionCountBoundedReachable
originalToCopy: Type: System.Collections.GenericDictionarySequenceVariable, SequenceVariable
procEnv: Type: de.unika.ipd.grGen.libGrIGraphProcessingEnvironment

Reference

SequenceExpressionCountBoundedReachable Class

SequenceExpressionCountBoundedReachable Overload

de.unika.ipd.grGen.libGr Namespace