コード例 #1
0
ファイル: KernelDualiser.cs プロジェクト: Robinping/gpuverify 
 private bool InstantiationExprIsThreadId()
 {
     return((InstantiationExpr is IdentifierExpr) &&
            ((IdentifierExpr)InstantiationExpr).Decl.Name.Equals(GPUVerifier.MakeThreadId("X", Thread).Name));
 }