Searched defs:SuccState (Results 1 – 2 of 2) sorted by relevance
618 int SuccState = SuccStartState->second; in getSuccState() local730 int SuccState = getSuccState(InitialStates, F, ParentBaseState, BB); in addStateStores() local
504 auto &SuccState = BlockState[Succ]; in run() local