Class SymbolicPropogator.SavedFlowState

  • Enclosing class:
    SymbolicPropogator

    protected class SymbolicPropogator.SavedFlowState
    extends java.lang.Object
    • Constructor Detail

      • SavedFlowState

        public SavedFlowState​(Address source,
                              Address destination,
                              boolean continueAfterHittingFlow)
    • Method Detail

      • getSource

        public Address getSource()
      • getDestination

        public Address getDestination()
      • isContinueAfterHittingFlow

        public boolean isContinueAfterHittingFlow()