Searched defs:condNumber (Results 1 – 2 of 2) sorted by relevance
30 void CovCond(double condNumber, const V & direction, M & covMatrix, in CovCond()
59 SMTFormula SMTFormula::condNumber(SMTFormula condition, unsigned value) in condNumber() function in Shell::SMTFormula