Class SolverResults<State>

Results of solving a generic dataflow problem.

Type Parameters

State
The type representing the state in the dataflow analysis.

Index

Constructors

Methods

getState getStates setState

Constructors

constructor

new SolverResults<State>(): SolverResults<State>
Type Parameters
- State
Returns SolverResults<State>
- Defined in src/internals/solver/results.ts:10

Methods

getState

getState(idx): undefined | State
Parameters
- idx: BasicBlockIdx
Returns undefined | State
- Defined in src/internals/solver/results.ts:14

getStates

getStates(): Map<BasicBlockIdx, State>
Returns Map<BasicBlockIdx, State>
- Defined in src/internals/solver/results.ts:22

setState

setState(idx, state): void
Parameters
- idx: BasicBlockIdx
- state: State
Returns void
- Defined in src/internals/solver/results.ts:18