Exemplo n.º 1
0
 public AbstractLocalFunctionState(TLocalState unreachableState)
 {
     StateFromBottom = unreachableState.Clone();
     StateFromTop    = unreachableState.Clone();
 }
Exemplo n.º 2
0
 public AbstractLocalFunctionState(TLocalState unreachableState)
 {
     State = unreachableState;
 }
Exemplo n.º 3
0
 public AbstractLocalFunctionState(TLocalState stateFromBottom, TLocalState stateFromTop)
 {
     StateFromBottom = stateFromBottom;
     StateFromTop    = stateFromTop;
 }