|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| Interface Summary | |
|---|---|
| SSAInference.OperatorFactory<T extends IVariable> | |
| SSAInference.VariableFactory | |
| Class Summary | |
|---|---|
| SSAInference<T extends IVariable<?>> | This class performs intra-procedural propagation over an SSA form. |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||