315     def write_dot(self, threshold, jobfile=None, jobs=None):
318         if jobs is None:
319             jobs = [ job for job in jobfile.jobs() ]
321         for job in jobs:
331     def write_txt(self, jobfile=None, jobs=None, limit=None):
332         if jobs is None:
333             jobs = [ job for job in jobfile.jobs() ]
335         for job in jobs:
344     def display(self, jobfile=None, jobs=None, limit=None):
345         if jobs is None:
346             jobs = [ job for job in jobfile.jobs() ]
351         for job in jobs:

Indexes created Thu Sep 26 06:36:22 EDT 2019