docs: private void valueOrdering() {
  		int j = 0;
  		for(int i = 0; i <  this.getVariables().length; i++){			
  			HashMap<String, Double> tempMap = new HashMap<String, Double>();
  			tempMap = sortHashmap(((FuzzySymbolicVariable)this.getVariables()[i]).getSymbolsAndPossibilities());
  			j = 0;
  			Integer[] dtod = new Integer[((FuzzySymbolicDomain)((FuzzySymbolicVariable)this.getVariables()[i]).getDomain()).getSymbols().length];
  			for(String s: tempMap.keySet()){
  				if(Double.compare(tempMap.get(s), 0.0) == 0)
  					continue;
  				for(int k = 0; k < ((FuzzySymbolicDomain)((FuzzySymbolicVariable)this.getVariables()[i]).getDomain()).getSymbols().length; k++){
  					if(((FuzzySymbolicDomain)((FuzzySymbolicVariable)this.getVariables()[i]).getDomain()).getSymbols()[k] == s){
  						dtod[j] = k;
  						break;
  					}
  				}
  				if(j < ((FuzzySymbolicDomain)((FuzzySymbolicVariable)this.getVariables()[i]).getDomain()).getSymbols().length - 1)
  					j++;
  			}
  			
  			orderHash.put(this.getVariables()[i], dtod);			
  		}
  			
  	}