diff options
| author |  qadeer <unknown> | 2014-12-15 10:23:17 -0800 |
|---|---|---|
| committer | qadeer <unknown> | 2014-12-15 10:23:17 -0800 |
| commit | 8aa34404bb634609719f90b59012771adb7d525d (patch) | |
| tree | 1a68f4913a3ab78c6d35020fd9a728155c5cff10 /Source/Concurrency/MoverCheck.cs | |
| parent | edc37cbeb0f4c46c844949c25bf6d94ffaa74222 (diff) | |
systematic renaming of phase to layer
Diffstat (limited to 'Source/Concurrency/MoverCheck.cs')
| -rw-r--r-- | Source/Concurrency/MoverCheck.cs | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/Source/Concurrency/MoverCheck.cs b/Source/Concurrency/MoverCheck.cs index 9a2203c3..1dd350de 100644 --- a/Source/Concurrency/MoverCheck.cs +++ b/Source/Concurrency/MoverCheck.cs @@ -35,34 +35,34 @@ namespace Microsoft.Boogie {
AtomicActionInfo atomicAction = action as AtomicActionInfo;
if (atomicAction == null) continue;
- foreach (int phaseNum in moverTypeChecker.AllLayerNums)
+ foreach (int layerNum in moverTypeChecker.AllLayerNums)
{
- if (action.phaseNum < phaseNum && phaseNum <= action.availableUptoLayerNum)
+ if (action.createdAtLayerNum < layerNum && layerNum <= action.availableUptoLayerNum)
{
- if (!pools.ContainsKey(phaseNum))
+ if (!pools.ContainsKey(layerNum))
{
- pools[phaseNum] = new HashSet<AtomicActionInfo>();
+ pools[layerNum] = new HashSet<AtomicActionInfo>();
}
- pools[phaseNum].Add(atomicAction);
+ pools[layerNum].Add(atomicAction);
}
}
}
Program program = moverTypeChecker.program;
MoverCheck moverChecking = new MoverCheck(linearTypeChecker, moverTypeChecker, decls);
- foreach (int phaseNum1 in pools.Keys)
+ foreach (int layerNum1 in pools.Keys)
{
- foreach (AtomicActionInfo first in pools[phaseNum1])
+ foreach (AtomicActionInfo first in pools[layerNum1])
{
Debug.Assert(first.moverType != MoverType.Top);
if (first.moverType == MoverType.Atomic)
continue;
- foreach (int phaseNum2 in pools.Keys)
+ foreach (int layerNum2 in pools.Keys)
{
- if (phaseNum2 < phaseNum1) continue;
- foreach (AtomicActionInfo second in pools[phaseNum2])
+ if (layerNum2 < layerNum1) continue;
+ foreach (AtomicActionInfo second in pools[layerNum2])
{
- if (second.phaseNum < phaseNum1)
+ if (second.createdAtLayerNum < layerNum1)
{
if (first.IsRightMover)
{
|