类 DepthFirstWaitlist<StateT extends AbstractState<StateT>>

  • 类型参数:
    StateT - The states contained in the waitlist.
    所有已实现的接口:
    Waitlist<StateT>

    public class DepthFirstWaitlist<StateT extends AbstractState<StateT>>
    extends AbstractWaitlist<StateT>
    This Waitlist pops the last element, i.e., performs a depth first traversal over the Cfa.
    • 构造器详细资料

      • DepthFirstWaitlist

        public DepthFirstWaitlist()
    • 方法详细资料

      • pop

        public StateT pop()
        从接口复制的说明: Waitlist
        Remove the next abstract state and return it.