SequenceForBoundedReachableEdges Constructor (SequenceType, SequenceVariable, ListSequenceExpression, Sequence, ListSequenceVariable)

Initializes a new instance of the SequenceForBoundedReachableEdges class

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

Syntax

public SequenceForBoundedReachableEdges(
	SequenceType sequenceType,
	SequenceVariable var,
	List<SequenceExpression> argExprs,
	Sequence seq,
	List<SequenceVariable> variablesFallingOutOfScopeOnLeavingFor
)

Parameters

sequenceType: Type: de.unika.ipd.grGen.libGrSequenceType
var: Type: de.unika.ipd.grGen.libGrSequenceVariable
argExprs: Type: System.Collections.GenericListSequenceExpression
seq: Type: de.unika.ipd.grGen.libGrSequence
variablesFallingOutOfScopeOnLeavingFor: Type: System.Collections.GenericListSequenceVariable

Reference

SequenceForBoundedReachableEdges Class

SequenceForBoundedReachableEdges Overload

de.unika.ipd.grGen.libGr Namespace