コード例 #1
0
ファイル: StubContext.cs プロジェクト: luckysunda/hice-dt 
 public string GetDeclName(Z3ConstDeclAst constDeclAst)
 {
     return("");
 }
コード例 #2
0
ファイル: StubContext.cs プロジェクト: Chenguang-Zhu/ICE-C5 
 public string GetDeclName(Z3ConstDeclAst constDeclAst) {
   return "";
 }