コード例 #1
0
 public CommutativityHintVisitor(CivlTypeChecker ctc)
 {
     this.ctc           = ctc;
     commutativityHints = new CommutativityHints();
 }
コード例 #2
0
ファイル: CommutativityHints.cs プロジェクト: smh0960/boogie 
 public CommutativityHintVisitor(CivlTypeChecker civlTypeChecker)
 {
     this.civlTypeChecker = civlTypeChecker;
     commutativityHints   = new CommutativityHints();
 }