/* * No update provide * * call-seq: * solver.no_update_provide -> bool * */ int no_update_provide()