blob: fedacde33002b755e7879c0f3f978f1eec70a318 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using Microsoft.Boogie;
namespace GPUVerify
{
class AccessRecord
{
public Variable v;
public Expr IndexZ;
public Expr IndexY;
public Expr IndexX;
public AccessRecord(Variable v, Expr IndexZ, Expr IndexY, Expr IndexX)
{
this.v = v;
this.IndexZ = IndexZ;
this.IndexY = IndexY;
this.IndexX = IndexX;
}
}
}
|