Examples of tryNext()

Examples of org.mindswap.pellet.tableau.branch.GuessBranch.tryNext()

564
565
566
567
568
569
570
571
572
573
574
          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

Examples of org.mindswap.pellet.tableau.branch.MaxBranch.tryNext()

198
199
200
201
202
203
204
205
206
207
208
        // add the list of possible pairs to be merged in the branch list
        MaxBranch newBranch = new MaxBranch( strategy.getABox(), strategy, x, r, k, c, mergePairs, ds );
        strategy.addBranch( newBranch );

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

        if( log.isLoggable( Level.FINE ) )
            log.fine( "hasMore: " + (n > k + 1) );
View Full Code Here

Examples of org.mindswap.pellet.tableau.branch.RuleBranch.tryNext()

350
351
352
353
354
355
356
357
358
359
360
      return -1;
    }
    else {   
      RuleBranch r = new RuleBranch( abox, this, ruleAtomAsserter, atoms, binding, bodyAtomCount, ds );
      addBranch( r );
      r.tryNext();
      return r.getBranch();
    }
  }

  @Override
View Full Code Here

Examples of org.mindswap.pellet.tableau.branch.RuleBranch.tryNext()

258
259
260
261
262
263
264
265
266
267
268
    if( atoms.size() == bodyAtomCount )
      return;
   
    RuleBranch r = new RuleBranch( abox, this, ruleAtomAsserter, atoms, binding, bodyAtomCount, DependencySet.INDEPENDENT );
    addBranch( r );
    r.tryNext();
  }
 
  @Override
  public void restoreLocal(Individual ind, Branch br) {
    restore( br );
View Full Code Here

Examples of org.mindswap.pellet.tableau.branch.RuleBranch.tryNext()

428
429
430
431
432
433
434
435
436
437
438
      return -1;
    }
    else {   
      RuleBranch r = new RuleBranch( abox, this, ruleAtomAsserter, atoms, binding, bodyAtomCount, ds );
      addBranch( r );
      r.tryNext();
      return r.getBranch();
    }
  }

  @Override
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.