private void updateCurrentState(final StateVector<GraphNode,LatticeElement> newState){
  for (  final GraphNode node : newState) {
    state.setState(node,newState.getState(node));
  }
}

private void updateCurrentState ( final StateVector < GraphNode , LatticeElement > newState ) { for ( final GraphNode node : newState ) { state . setState ( node , newState . getState ( node ) ) ; } }
copies the given state vector into the current state vector .
