     * @param time start time at which the activity should be scheduled
     * @param activity activity index
     * @return true if the activity satisfies all resource constraints, else false
     */
    bool is_schedulable(unsigned int time, unsigned int activity) const;

    /**