src/smt/theory_jobscheduler.cpp
/**
     * \brief maximal previous resource available for job resource, excludes idx.
     */
\brief maximal previous resource available for job resource, excludes idx.
\ brief maximal previous resource available for job resource excludes idx .
bool theory_jobscheduler::last_available(job_resource const& jr, res_info const& ri, unsigned& idx) const {
        while (idx-- > 0) {
            if (resource_available(jr, ri.m_available[idx])) 
                return true;
        }
        return false;
    }
bool theory_jobscheduler :: last_available ( job_resource const & jr , res_info const & ri , unsigned & idx ) const { while ( idx -- > 0 ) { if ( resource_available ( jr , ri . m_available [ idx ] ) ) return true ; } return false ; }
\brief maximal previous resource available for job resource, excludes idx.
\ brief maximal previous resource available for job resource excludes idx .