Пример #1
0
 /**
  * Loads a pair from the supplied XML element.
  *
  * @param graph the graph which elements to load Ideally, I need to match string IDs loaded to
  *     those of the graph but this is not done because
  *     <ul>
  *       <li>graphseries used to mangle names of vertices, now this should not happen often (and
  *           if I use relabelling when loading graphs, this would never happen).
  *       <li>this method is expected to be general - purpose hence we do not expect a matching
  *           graph to be present.
  *       <li>matching was only needed when loading a compatibility table from a graph - graph
  *           loader now does the matching after reading pairs.
  *     </ul>
  *
  * @param elem element to load from
  * @return loaded state pair.
  */
 public static <TARGET_TYPE, CACHE_TYPE extends CachedData<TARGET_TYPE, CACHE_TYPE>>
     PairScore readPair(AbstractLearnerGraph<TARGET_TYPE, CACHE_TYPE> graph, Element elem) {
   if (!elem.getNodeName().equals(StatechumXML.ELEM_PAIR.name()))
     throw new IllegalArgumentException("expected to load a pair but got " + elem.getNodeName());
   if (!elem.hasAttribute(StatechumXML.ATTR_Q.name())
       || !elem.hasAttribute(StatechumXML.ATTR_R.name()))
     throw new IllegalArgumentException("missing attribute in a pair");
   String q = elem.getAttribute(StatechumXML.ATTR_Q.name()),
       r = elem.getAttribute(StatechumXML.ATTR_R.name()),
       score = elem.getAttribute(StatechumXML.ATTR_SCORE.name()),
       otherscore = elem.getAttribute(StatechumXML.ATTR_OTHERSCORE.name());
   int scoreInt = JUConstants.intUNKNOWN, otherScoreInt = JUConstants.intUNKNOWN;
   if (score != null && score.length() > 0)
     try {
       scoreInt = Integer.valueOf(score);
     } catch (NumberFormatException ex) {
       statechum.Helper.throwUnchecked("failed to read a score in a pair", ex);
     }
   if (otherscore != null && otherscore.length() > 0)
     try {
       otherScoreInt = Integer.valueOf(otherscore);
     } catch (NumberFormatException ex) {
       statechum.Helper.throwUnchecked("failed to read a anotherscore in a pair", ex);
     }
   return new PairScore(
       AbstractLearnerGraph.generateNewCmpVertex(VertexID.parseID(q), graph.config),
       AbstractLearnerGraph.generateNewCmpVertex(VertexID.parseID(r), graph.config),
       scoreInt,
       otherScoreInt);
 }
  public static <TARGET_TYPE, CACHE_TYPE extends CachedData<TARGET_TYPE, CACHE_TYPE>>
      void checkDepthLabelling(AbstractLearnerGraph<TARGET_TYPE, CACHE_TYPE> coregraph) {
    int coreGraphStateNumber = coregraph.getStateNumber();
    Map<CmpVertex, Integer> stateToDepth =
        coregraph.config.getTransitionMatrixImplType() == STATETREE.STATETREE_ARRAY
            ? new ArrayMapWithSearch<CmpVertex, Integer>(coreGraphStateNumber)
            : new HashMapWithSearch<CmpVertex, Integer>(coreGraphStateNumber);
    CmpVertex from = coregraph.getInit();
    stateToDepth.put(from, 0);
    Queue<CmpVertex> fringe = new LinkedList<CmpVertex>();
    Map<CmpVertex, CmpVertex> statesInFringe =
        coregraph.config.getTransitionMatrixImplType() == STATETREE.STATETREE_ARRAY
            ? new ArrayMapWithSearch<CmpVertex, CmpVertex>(coreGraphStateNumber)
            : new HashMapWithSearch<CmpVertex, CmpVertex>(
                coreGraphStateNumber); // in order not to iterate through the list all the time.

    fringe.add(from);
    statesInFringe.put(from, from);
    while (!fringe.isEmpty()) {
      CmpVertex currentState = fringe.remove();
      Integer currentDepth = stateToDepth.get(currentState);
      Map<Label, TARGET_TYPE> targets = coregraph.transitionMatrix.get(currentState);
      if (targets != null && !targets.isEmpty())
        for (Entry<Label, TARGET_TYPE> labelstate : targets.entrySet())
          for (CmpVertex target : coregraph.getTargets(labelstate.getValue())) {
            if (!statesInFringe.containsKey(
                target)) // put returns the old value, so if it returned null, it means that target
            // was not already in the list (but it has since been added)
            {
              int newDepth = currentDepth + 1;
              stateToDepth.put(target, newDepth);
              Assert.assertEquals("state " + target, newDepth, target.getDepth());
              fringe.offer(target);
              statesInFringe.put(target, target);
            }
          }
    }
  }