Searched defs:nextSolution (Results 1 – 7 of 7) sorted by relevance
172 SMT_RewriteSearchState::nextSolution() in nextSolution() function in SMT_RewriteSearchState
425 def nextSolution(): member in Query428 nextSolution = staticmethod(nextSolution) variable in Query
64 MpzSystem::nextSolution(bool first) in nextSolution() function in MpzSystem
499 public final Map<String, Term> nextSolution() { in nextSolution() method in Query
429 public synchronized final Hashtable nextSolution() { in nextSolution() method in Query
2975 CoinWorkDouble * nextSolution = new CoinWorkDouble [numberColumns_]; in checkGoodMove2() local
2968 CoinWorkDouble *nextSolution = new CoinWorkDouble[numberColumns_]; in checkGoodMove2() local