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