public final class Solver extends GenericSolver<State,Context,CallEdge,IAnalysisMonitoring,Analysis>
GenericSolver.SolverInterface
Constructor and Description |
---|
Solver(Analysis analysis,
SolverSynchronizer sync)
Constructs a new solver.
|
getAnalysisLatticeElement, getFlowGraph, init, scan, solve
public Solver(Analysis analysis, SolverSynchronizer sync)
Copyright © 2009-2019 Aarhus University