public AbstractLocalFunctionState(TLocalState unreachableState) { StateFromBottom = unreachableState.Clone(); StateFromTop = unreachableState.Clone(); }
public AbstractLocalFunctionState(TLocalState unreachableState) { State = unreachableState; }
public AbstractLocalFunctionState(TLocalState stateFromBottom, TLocalState stateFromTop) { StateFromBottom = stateFromBottom; StateFromTop = stateFromTop; }