Searched defs:model_updated (Results 1 – 11 of 11) sorted by relevance
413 void maxsmt::model_updated(model* mdl) { in model_updated() function in opt::maxsmt446 void model_updated(model* mdl) override { } // no-op in model_updated() function in opt::solver_maxsat_context
1122 void context::model_updated(model* md) { in model_updated() function in opt::context
1107 void context::model_updated(model* md) { in model_updated() function in opt::context
248 void solver::model_updated(model_ref& mdl) { in model_updated() function in euf::solver
199 void LogModelCurveError(double error, bool model_updated) { in LogModelCurveError()
63 model_updated = Signal() variable in GitRepoModel
83 def model_updated(self): member in Browser
398 model_updated = Signal() variable in CompletionModel
785 def model_updated(self): member in GitDAG
599 bool model_updated = false; in polishSoFarTheBestModel() local