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