public void init(){
  n_var=int2var.size();
  for (int i=0; i < n_var; ++i) {
    varGraph.set(i,null);
    int2var.get(i).willUpdate=false;
  }
}

public void init ( ) { n_var = int2var . size ( ) ; for ( int i = 0 ; i < n_var ; ++ i ) { varGraph . set ( i , null ) ; int2var . get ( i ) . willUpdate = false ; } }
call it before running the optimizations .
