Class SuccessorListener

    • Constructor Detail

      • SuccessorListener

        public SuccessorListener​(Statement curr)
    • Method Detail

      • getSuccessor

        public abstract void getSuccessor​(Statement succ)