Remove unused variable

Author: merkste

prism/src/simulator/LabelEvaluator.java

@@ -37,8 +37,9 @@ public LabelEvaluator(LabelList labelList) throws PrismLangException
     }
 
     /**
-     * Fix an order on the labels such that l1 < l2 if l2 depends on l1
-     * @param labels
+     * Fix an order on the labels such that l1 < l2 if l2 depends on l1.
+     *
+     * @param labels a {@link LabelList} of labels to be evaluated
      * @return an int array of the label indices in ascending order
      * @throws PrismLangException In case a label depencies could not be computed.
      */
@@ -70,6 +71,7 @@ public int compare(Integer row, Integer col)
 
     /**
      * Returns the value of a specific label in a specific state.
+     *
      * @param state The state to evaluate in.
      * @param label The label that will be evaluated.
      * @return The value of the Label.
@@ -83,6 +85,7 @@ public boolean getLabelValue(State state, String label) throws PrismLangExceptio
     /**
      * This method provides all label values concerning a given state. <br>
      * It will evaluate all the Labels if necessary.
+     *
      * @param state The state to evaluate in.
      * @return Returns a {@link Map} containing all label-values for the given state, indexed by their name.
      * @throws PrismLangException In case a label couldn't be evaluated.
@@ -95,6 +98,7 @@ public Predicate<String> getLabelValues(State state) throws PrismLangException
     /**
      * This method provides all values of a certain label. They will be ordered by the given statesList. <br>
      * States will be evaluated if necessary.
+     *
      * @param label The name of the label.
      * @param statesList The states to evaluate against in correct order.
      * @return All values of the label.
@@ -115,7 +119,8 @@ public BitSet getLabel(String label, List<State> statesList) throws PrismExcepti
 
     /**
      * This method provides all label values of a certain state as a {@link BitSet}.
-     * The labels are indexed in the same order as inside the {@link LabelEvaluator#labelList}
+     * The labels are indexed in the same order as inside the {@link LabelEvaluator#labelList}.
+     *
      * @param state The state to evaluate in.
      * @return Always returns a BitSet with the label values.
      * @throws PrismLangException In case a label evaluation fails.
@@ -131,15 +136,14 @@ protected BitSet getStateValues(State state) throws PrismLangException
     }
 
     /**
-     * Evaluates all label with the given state. <br>
+     * Evaluates all label with the given state.
      *
      * @param state The state to evaluate the labels in.
      * @return A {@link BitSet} of all label values in this state.
      * @throws PrismLangException In case a label evaluation fails.
      */
     private BitSet evaluateState(State state) throws PrismLangException
     {
-        int numLabels = labelList.size();
         BitSet values = new BitSet();
         Predicate<String> labelValues = asPredicate(values);
         for (int i : evaluationOrder) {