| Class | Description |
|---|---|
| JvmDefaultExpandOperator<StateT extends LatticeAbstractState<StateT>> |
This
ExpandOperator simulates the JVM behavior on a method exit. |
| JvmDefaultReduceOperator<StateT extends LatticeAbstractState<StateT>> |
This
ReduceOperator simulates the JVM behavior on a method call. |