def __init__(self, progress=False):
"""
:param progress: Print time progress on console?
"""
self.analyzers = {}
self.time = ""
self.oDir = ""
self.line = LineReader(config().getboolean("SolverOutput",
"stripSpaces"))
self.timeListeners = []
self.timeTriggers = []
self.resetFileTriggers = []
self.customExpr = re.compile("Custom([0-9]+)_(.+)")
if progress:
self.progressOut = ProgressOutput(stdout)
else:
self.progressOut = ProgressOutput()
# tm=CountLineAnalyzer()
tm = TimeLineAnalyzer()
self.addAnalyzer("Time", tm)
tm.addListener(self.setTime)
self.analyzedLines = 0
def __init__(self, progress=False):
"""
@param progress: Print time progress on console?
"""
self.analyzers = {}
self.time = ""
self.oDir = ""
self.line = LineReader()
self.timeListeners = []
self.timeTriggers = []
self.customExpr = re.compile("Custom([0-9]+)_(.+)")
self.progressOut = None
if progress:
self.progressOut = ProgressOutput(stdout)
tm = TimeLineAnalyzer(progress=progress)
self.addAnalyzer("Time", tm)
tm.addListener(self.setTime)
