コード例 #1
0
ファイル: BoogieAST.cs プロジェクト: daejunpark/verisol
 public BoogieTypedIdent(string name, BoogieType type)
 {
     this.Name = name;
     this.Type = type;
 }
コード例 #2
0
ファイル: BoogieAST.cs プロジェクト: daejunpark/verisol
 public BoogieMapType(BoogieType argument, BoogieType result)
 {
     this.Arguments = new List <BoogieType>();
     this.Arguments.Add(argument);
     this.Result = result;
 }
コード例 #3
0
 public BoogieTypeCtorDecl(string name, BoogieType equivType)
 {
     this.Name      = name;
     this.EquivType = equivType;
 }
コード例 #4
0
ファイル: BoogieAST.cs プロジェクト: daejunpark/verisol
 public BoogieMapType(List <BoogieType> arguments, BoogieType result)
 {
     Debug.Assert(arguments != null && arguments.Count > 0);
     this.Arguments = arguments;
     this.Result    = result;
 }
コード例 #5
0
 public BoogieTypeCtorDecl(string name)
 {
     this.Name      = name;
     this.EquivType = null;
 }