Click or drag to resize

SequenceExpressionIsBoundedReachable(SequenceExpressionIsBoundedReachable, DictionarySequenceVariable, SequenceVariable, IGraphProcessingEnvironment) Constructor

Initializes a new instance of the SequenceExpressionIsBoundedReachable class

Namespace: de.unika.ipd.grGen.libGr
Assembly: libGr (in libGr.dll) Version: GrGen.NET 7.1
Syntax
C#
Copy
protected SequenceExpressionIsBoundedReachable(
	SequenceExpressionIsBoundedReachable that,
	Dictionary<SequenceVariable, SequenceVariable> originalToCopy,
	IGraphProcessingEnvironment procEnv
)

Parameters

that  SequenceExpressionIsBoundedReachable
 
originalToCopy  DictionarySequenceVariable, SequenceVariable
 
procEnv  IGraphProcessingEnvironment
 
See Also