| transform(List) |  | 0% | | 0% | 13 | 13 | 221 | 221 | 1 | 1 |
| genAltFocusAssumption(String, String, String, String, boolean) | | 0% | | 0% | 3 | 3 | 35 | 35 | 1 | 1 |
| genFocusIterAssignment(String, String, String) | | 0% | | 0% | 2 | 2 | 21 | 21 | 1 | 1 |
| getLoopInvariants(LoopNode) | | 0% | | 0% | 6 | 6 | 17 | 17 | 1 | 1 |
| genWindowCondition(String, String, String, boolean) | | 0% | | 0% | 3 | 3 | 19 | 19 | 1 | 1 |
| genFocusedMemVar(String, String, String) | | 0% | | 0% | 2 | 2 | 14 | 14 | 1 | 1 |
| getLoopAssigns(LoopNode) | | 0% | | 0% | 5 | 5 | 10 | 10 | 1 | 1 |
| memUnion(String, ExpressionNode) | | 0% | | n/a | 1 | 1 | 7 | 7 | 1 | 1 |
| memDiff(String, ExpressionNode) | | 0% | | n/a | 1 | 1 | 7 | 7 | 1 | 1 |
| genExprInBoundsCondition(ExpressionNode, ExpressionNode, ExpressionNode, boolean) | | 0% | | 0% | 2 | 2 | 9 | 9 | 1 | 1 |
| getInitInfo(ForLoopNode) | | 0% | | 0% | 2 | 2 | 7 | 7 | 1 | 1 |
| CommonFocusLoopTransformNode(Source, NodeFactory, TokenFactory, String, SequenceNode, SequenceNode) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| copy() | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| getBoundInfo(ForLoopNode) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| getWindowLower() | | 0% | | 0% | 2 | 2 | 2 | 2 | 1 | 1 |
| getWindowUpper() | | 0% | | 0% | 2 | 2 | 2 | 2 | 1 | 1 |
| getNewTmpVarName() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getFocusWindow() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getMemoryList() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| printBody(PrintStream) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| getFocusTag() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| static {...} | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getFocusKind() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |