Class VisitingQueue

constructor

• new VisitingQueue(threshold: number): VisitingQueue

  Parameters

  • threshold: number

  Returns VisitingQueue

potentialAdditions

add

• add(
      target: NodeId,
      env: REnvironmentInformation,
      envFingerprint: string,
      onlyForSideEffects: boolean,
  ): void

  Adds a node to the queue if it has not been seen before.

  Parameters

  • target: NodeId

    the node to add
  • env: REnvironmentInformation

    the environment the node is traversed in
  • envFingerprint: string

    the fingerprint of the environment
  • onlyForSideEffects: boolean

    whether the node is only used for its side effects

  Returns void

hasId

• hasId(id: NodeId): boolean

  Parameters

  • id: NodeId

  Returns boolean

next

• next(): NodeToSlice

  Returns NodeToSlice

nonEmpty

• nonEmpty(): boolean

  Returns boolean

status

• status(): Readonly<Pick<SliceResult, "timesHitThreshold" | "result">>

  Returns Readonly<Pick<SliceResult, "timesHitThreshold" | "result">>