Exemplo n.º 1
0
 public string GetDeclName(Z3ConstDeclAst constDeclAst)
 {
     return("");
 }
Exemplo n.º 2
0
 public string GetDeclName(Z3ConstDeclAst constDeclAst) {
   return "";
 }