Package org.mindswap.pellet.tableau.branch

Examples of org.mindswap.pellet.tableau.branch.GuessBranch


    for (int e = 0; e < edges.size(); e++) {
      Edge edge = edges.edgeAt(e);
      ds = ds.union(edge.getDepends(), strategy.getABox().doExplanation());
    }

    GuessBranch newBranch = new GuessBranch(strategy.getABox(), strategy, x, r, guessMin, n, c, ds);
    strategy.addBranch(newBranch);

    newBranch.tryNext();
  }
View Full Code Here


          if (guessMin > max) {
            return edge;
          }

          GuessBranch newBranch = new GuessBranch(abox, this, o, pred.getInverse(), guessMin, max,
                          ATermUtils.TOP, ds);
          addBranch(newBranch);

          // try a merge that does not trivially fail
          if (newBranch.tryNext() == false) {
            return edge;
          }

          if (abox.isClosed()) {
            return edge;
View Full Code Here

          if (guessMin > max) {
            return;
          }

          GuessBranch newBranch = new GuessBranch(abox, this, o, pred.getInverse(), guessMin, max,
                          ATermUtils.TOP, ds);
          addBranch(newBranch);

          // try a merge that does not trivially fail
          if (newBranch.tryNext() == false) {
            return;
          }

          if (abox.isClosed()) {
            return;
View Full Code Here

TOP

Related Classes of org.mindswap.pellet.tableau.branch.GuessBranch

Copyright © 2018 www.massapicom. All rights reserved.
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.