Searched refs:theTraceTranslator (Results 1 – 1 of 1) sorted by relevance
84 bool theTraceTranslator; variable128 theTraceTranslator = false; in initialize()170 const bool &traceTranslator () const { return theTraceTranslator; } in traceTranslator()342 theTraceTranslator = true; in load_argv()