Examples of nz.ac.waikato.modeljunit.GraphListener.numTodo()

Class nz.ac.waikato.modeljunit.GraphListener

Examples of nz.ac.waikato.modeljunit.GraphListener.numTodo()

nz.ac.waikato.modeljunit.GraphListener.numTodo()
Returns the number of unexplored paths/branches in the graph. TODO: make this efficient by maintaining the sum of the number of done_ and wasEnabled_ bits and returning the difference.

    model_.doReset("Buildgraph");
    do {
      generate(10);
      maxSteps -= 10;
    }
    while (graph.numTodo() > 0 && maxSteps > 0);


    int todo = graph.numTodo();
    if (todo > 0) {
      model_.printWarning("buildgraph stopped with "
          + graph.getGraph().numEdges() + " transitions and "

View Full Code Here

      generate(10);
      maxSteps -= 10;
    }
    while (graph.numTodo() > 0 && maxSteps > 0);


    int todo = graph.numTodo();
    if (todo > 0) {
      model_.printWarning("buildgraph stopped with "
          + graph.getGraph().numEdges() + " transitions and "
          + graph.getGraph().numVertices() + " states, but "
          + todo + " unexplored branches.");

View Full Code Here

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.