Exemple #1
0
 public CommutativityHintVisitor(CivlTypeChecker ctc)
 {
     this.ctc           = ctc;
     commutativityHints = new CommutativityHints();
 }
Exemple #2
0
 public CommutativityHintVisitor(CivlTypeChecker civlTypeChecker)
 {
     this.civlTypeChecker = civlTypeChecker;
     commutativityHints   = new CommutativityHints();
 }