Searched defs:sort (Results 1 - 2 of 2) sorted by relevance

/pkg/src/modules/solver/
H A Dsolver.c70 void sort(void** array, int size, int(*comp)(const void *, const void *));
780 sort(vecp_begin(&s->learnts), vecp_size(&s->learnts), &clause_cmp);
1083 // insertion sort
1285 void sort(void** array, int size, int(*comp)(const void *, const void *)) function
/pkg/src/modules/
H A Dcatalog.py422 modifying operation, or sort() has has been called, this will
505 self.sort(pfmris=set([pfmri]))
535 modifying operation, or sort() has has been called, this will
592 modifying operation, or sort() has has been called, this will
839 def sort(self, pfmris=None, pubs=None): member in class:CatalogPart
843 'pfmris' is an optional set of FMRIs to restrict the sort to.
848 the sort to. This is useful during catalog operations as only
876 ver_list.sort(key=key_func)
881 self.__data[pub][stem].sort(key=key_func)
890 the last modifying operation, or sort() ha
[all...]

Completed in 16 milliseconds