private void update(){
  Layout<String,Integer> layout=getGraphLayout(currentState,tab.showParameters());
  setGraphLayout(layout);
  updateDistribs();
}

private void update ( ) { Layout < String , Integer > layout = getGraphLayout ( currentState , tab . showParameters ( ) ) ; setGraphLayout ( layout ) ; updateDistribs ( ) ; }
updates the viewer with the current state .
