blob: 26adaa4e9dd05b50bec0211acf71cb43bdbc3f85 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using Microsoft.Boogie;
namespace GPUVerify {
interface IRegion {
IEnumerable<Cmd> Cmds();
IEnumerable<object> CmdsChildRegions();
IEnumerable<IRegion> SubRegions();
Expr Guard();
void AddInvariant(PredicateCmd pc);
}
}
|