Searched refs:nPivots (Results 1 – 7 of 7) sorted by relevance
16 int nPivots=0; in isPartOfAZBasis() local20 nPivots++; in isPartOfAZBasis()22 return l.size()==nPivots; in isPartOfAZBasis()
307 static inline void sat_solver3_set_pivot_variables( sat_solver3* s, int * pPivots, int nPivots ) in sat_solver3_set_pivot_variables() argument309 s->pivot_vars.cap = nPivots; in sat_solver3_set_pivot_variables()310 s->pivot_vars.size = nPivots; in sat_solver3_set_pivot_variables()
321 static inline void sat_solver_set_pivot_variables( sat_solver* s, int * pPivots, int nPivots ) in sat_solver_set_pivot_variables() argument323 s->pivot_vars.cap = nPivots; in sat_solver_set_pivot_variables()324 s->pivot_vars.size = nPivots; in sat_solver_set_pivot_variables()
578 nPivots <- length(pivotDefinitions) functionVar734 if (nPivots > 0) {3147 nPivots <- length(pivotDefinitions) functionVar
400 int nPivots = 9999; in gutsOfDual() local541 nPivots = factorization_->pivots(); in gutsOfDual()552 if ((!factorization_->pivots() && nPivots < 20) && z_thinks >= 0 && z_thinks < 2) in gutsOfDual()
401 int nPivots = 9999; in gutsOfDual() local564 nPivots = factorization_->pivots(); in gutsOfDual()575 if ((!factorization_->pivots() && nPivots < 20) && z_thinks >= 0 && z_thinks < 2) in gutsOfDual()