(self, job, merged=False, widened=False)
Appended a new job to this JobInfo node.
        :param job: The new job to append.
        :param bool merged: Whether it is a merged job or not.
        :param bool widened: Whether it is a widened job or not.
Appended a new job to this JobInfo node.
        :param job: The new job to append.
        :param bool merged: Whether it is a merged job or not.
        :param bool widened: Whether it is a widened job or not.
Appended a new job to this JobInfo node . : param job : The new job to append . : param bool merged : Whether it is a merged job or not . : param bool widened : Whether it is a widened job or not .
def add_job(self, job, merged=False, widened=False):
        """
        Appended a new job to this JobInfo node.
        :param job: The new job to append.
        :param bool merged: Whether it is a merged job or not.
        :param bool widened: Whether it is a widened job or not.
        """

        job_type = ''
        if merged:
            job_type = 'merged'
        elif widened:
            job_type = 'widened'
        self.jobs.append((job, job_type))
def add_job ( self , job , merged = False , widened = False ) : job_type = '' if merged : job_type = 'merged' elif widened : job_type = 'widened' self . jobs . append ( ( job , job_type ) )