public abstract class SuccessorListener extends Object
| Constructor and Description |
|---|
SuccessorListener(Statement curr) |
| Modifier and Type | Method and Description |
|---|---|
Statement |
getCurr() |
abstract void |
getSuccessor(Statement succ) |
Copyright © 2024. All rights reserved.