Searched refs:InitialFrameState (Results 1 – 1 of 1) sorted by relevance
347 std::vector<MachineMove> InitialFrameState; variable586 InitialFrameState.push_back(MachineMove(label, D, S)); in addInitialFrameState()589 return InitialFrameState; in getInitialFrameState()