Searched defs:replayLog (Results 1 – 5 of 5) sorted by relevance
43 std::ostream* replayLog, in TheoryProxy()
79 Context* userContext, std::ostream* replayLog, in PropEngine()
66 CGame::CGame(bool disableGraphics, bool replayLog): in CGame()
285 func (u *user) replayLog(now time.Time, d gregor.DeviceID, t time.Time) (msgs []gregor.InBandMessag… func
2271 bool TheoryArithPrivate::replayLog(ApproximateSimplex* approx){ in replayLog() function in CVC4::theory::arith::TheoryArithPrivate