Click or drag to resize

SequenceSpecial(SequenceSpecial) Constructor

Copy constructor.

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

Parameters

that  SequenceSpecial
The sequence special to be copied.
See Also