Searched defs:StateDag (Results 1 – 1 of 1) sorted by relevance
712 struct StateDag : public Dag<StateTransitionFrom> { struct713 using Node = StateDag::reference; argument714 using NextStates = StateDag::value_type::Children; argument739 explicit StateSequenceFollower(std::unique_ptr<StateDag> steps) in StateSequenceFollower() argument