Exemple #1
0
 public GlobalInvariantInfo(GlobalInvariantDecl i_decl)
 {
     decl           = i_decl;
     translatedName = null;
 }
Exemple #2
0
 public void AddGlobalInvariant(GlobalInvariantDecl decl)
 {
     globalInvariants[decl.Name] = new GlobalInvariantInfo(decl);
 }