예제 #1
0
 public BoogieMapType(BoogieType argument, BoogieType result)
 {
     this.Arguments = new List <BoogieType>();
     this.Arguments.Add(argument);
     this.Result = result;
 }
예제 #2
0
 public BoogieTypedIdent(string name, BoogieType type)
 {
     this.Name = name;
     this.Type = type;
 }
예제 #3
0
 public BoogieMapType(List <BoogieType> arguments, BoogieType result)
 {
     Debug.Assert(arguments != null && arguments.Count > 0);
     this.Arguments = arguments;
     this.Result    = result;
 }