C# (CSharp) GPUVerify LiteralIndexedArrayEliminator Examples

Example #1

 public EliminatorVisitor(Dictionary <string, HashSet <string> > Arrays, LiteralIndexedArrayEliminator Eliminator)
 {
     this.Arrays     = Arrays;
     this.Eliminator = Eliminator;
 }

Example #2

File: LiteralIndexedArrayEliminator.cs Project: zeta1999/gpuverify

 public EliminatorVisitor(
     Dictionary <string, HashSet <string> > arrays, LiteralIndexedArrayEliminator arrayEliminator)
 {
     this.arrays          = arrays;
     this.arrayEliminator = arrayEliminator;
 }