SequenceForIndexAccessEquality Constructor (SequenceVariable, String, SequenceExpression, Sequence, ListSequenceVariable) |
Namespace: de.unika.ipd.grGen.libGr
public SequenceForIndexAccessEquality( SequenceVariable var, string indexName, SequenceExpression expr, Sequence seq, List<SequenceVariable> variablesFallingOutOfScopeOnLeavingFor )