예제 #1
0
 public BoogieLocalVariable(BoogieTypedIdent typedIdent)
 {
     this.TypedIdent = typedIdent;
     this.Name       = typedIdent.Name;
 }
예제 #2
0
 public BoogieFormalParam(BoogieTypedIdent typedIdent)
 {
     this.TypedIdent = typedIdent;
     this.Name       = typedIdent.Name;
 }
예제 #3
0
 public BoogieConstant(BoogieTypedIdent typedIdent, bool unique = false)
 {
     this.TypedIdent = typedIdent;
     this.Unique     = unique;
     this.Name       = typedIdent.Name;
 }