blob: c6211dab0db2bc12645f4bb07f084591e1287db3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using Microsoft.Boogie;
namespace GPUVerify
{
interface INonLocalState
{
ICollection<Variable> getGlobalVariables();
ICollection<Variable> getGroupSharedVariables();
ICollection<Variable> getAllNonLocalVariables();
bool Contains(Variable v);
}
}
|
