satsolver
0.17.2
|
Public Attributes | |
int(* | compar )(const void *, const void *, void *) |
void * | compard |
int(* sat_sort_data::compar)(const void *, const void *, void *) |
Definition at line 128 of file util.c.
Referenced by sat_sort(), and sat_sort_helper().
void* sat_sort_data::compard |
Definition at line 129 of file util.c.
Referenced by sat_sort(), and sat_sort_helper().