Click or drag to resize

SequenceSpecial Constructor (SequenceSpecial)

Copy constructor.

Namespace:  de.unika.ipd.grGen.libGr
Assembly:  libGr (in libGr.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public SequenceSpecial(
	SequenceSpecial that
)

Parameters

that
Type: de.unika.ipd.grGen.libGrSequenceSpecial
The sequence special to be copied.
See Also