@Override public void modifyVariableId(String oldVarId,String newVarId){
  Map<Assignment,Double> newTable=new HashMap<Assignment,Double>();
  for (  Assignment head : table.keySet()) {
    Assignment newHead=head.copy();
    if (head.containsVar(oldVarId)) {
      Value condVal=newHead.removePair(oldVarId);
      newHead.addPair(newVarId,condVal);
    }
    newTable.put(newHead,table.get(head));
  }
  if (headVars.contains(oldVarId)) {
    headVars.remove(oldVarId);
    headVars.add(newVarId);
  }
  table=newTable;
  intervals=null;
}

@ Override public void modifyVariableId ( String oldVarId , String newVarId ) { Map < Assignment , Double > newTable = new HashMap < Assignment , Double > ( ) ; for ( Assignment head : table . keySet ( ) ) { Assignment newHead = head . copy ( ) ; if ( head . containsVar ( oldVarId ) ) { Value condVal = newHead . removePair ( oldVarId ) ; newHead . addPair ( newVarId , condVal ) ; } newTable . put ( newHead , table . get ( head ) ) ; } if ( headVars . contains ( oldVarId ) ) { headVars . remove ( oldVarId ) ; headVars . add ( newVarId ) ; } table = newTable ; intervals = null ; }
modifies the variable identifiers .
