the match object returned by GetNextUnfilledPosition was filled,
now fix it within the list, so that the next call to GetNextUnfilledPosition returns a new element

C# |
public void PositionWasFilledFixIt()
![]() | GrGen.NET v4.4 API: the libGr class library (the type exact interface gets generated) PositionWasFilledFixIt Method Namespaces ► de.unika.ipd.grGen.lgsp ► LGSPMatchesList<(Of <(<'Match, MatchInterface>)>)> ► PositionWasFilledFixIt()()()() |
C# |
public void PositionWasFilledFixIt()