Searched refs:TransitionHistory (Results 1 – 1 of 1) sorted by relevance
580 struct TransitionHistory { struct591 friend std::ostream& operator<<(std::ostream& os, const TransitionHistory& t) { in operator <<()615 auto do_expect_checks = [&](int transition_label, TransitionHistory& transition_details) { in EnsureStateChangedTestRecursiveGeneric()630 TransitionHistory transition_history; in EnsureStateChangedTestRecursiveGeneric()