Searched refs:getNextPermutation (Results 1 – 8 of 8) sorted by relevance
91 permutor.getNextPermutation(); in countGeneratedPermutations()103 permutor.getNextPermutation(); in getCurrentPermutationTest()
91 return this.containerFromPermutation(this.getNextPermutation()); in next()
136 public int[] getNextPermutation() { in getNextPermutation() method in Permutor
115 public int[] getNextPermutation() { in getNextPermutation() method in Permutor
31 int[] p = super.getNextPermutation(); in next()
134 if (d_perm_state_class[d_curr_ind].getNextPermutation()) in getNext()301 bool EnumStreamPermutation::PermutationState::getNextPermutation() in getNextPermutation() function in CVC4::theory::quantifiers::EnumStreamPermutation::PermutationState313 return getNextPermutation(); in getNextPermutation()
105 bool getNextPermutation();
198 Candidates getNextPermutation() { in getNextPermutation() method in ResolverImpl.ResolveSession563 allCandidates = session.getNextPermutation(); in findValidCandidates()