src/smt/theory_jobscheduler.cpp
/**
     * \brief minimal current resource available for job resource, includes idx.
     */
\brief minimal current resource available for job resource, includes idx.
\ brief minimal current resource available for job resource includes idx .
bool theory_jobscheduler::first_available(job_resource const& jr, res_info const& ri, unsigned& idx) const {
        for (; idx < ri.m_available.size(); ++idx) {
            if (resource_available(jr, ri.m_available[idx])) 
                return true;
        }
        return false;
    }
bool theory_jobscheduler :: first_available ( job_resource const & jr , res_info const & ri , unsigned & idx ) const { for ( ; idx < ri . m_available . size ( ) ; ++ idx ) { if ( resource_available ( jr , ri . m_available [ idx ] ) ) return true ; } return false ; }
\brief minimal current resource available for job resource, includes idx.
\ brief minimal current resource available for job resource includes idx .