Searched defs:SOS_is_satisfied (Results 1 – 2 of 2) sorted by relevance
1386 int SOS_is_satisfied(SOSgroup *group, int sosindex, REAL *solution) in SOS_is_satisfied() function
1415 int SOS_is_satisfied(SOSgroup *group, int sosindex, REAL *solution) in SOS_is_satisfied() function