dk.brics.tajs.analysis

Class Solver

java.lang.Object

dk.brics.tajs.solver.GenericSolver<State,CallContext,CallEdge<State>,Monitoring<State,CallContext,CallEdge<State>>,Analysis>

dk.brics.tajs.analysis.Solver

public final class Solver
extends GenericSolver<State,CallContext,CallEdge<State>,Monitoring<State,CallContext,CallEdge<State>>,Analysis>

Fixpoint solver.

Nested Class Summary

Nested classes/interfaces inherited from class dk.brics.tajs.solver.GenericSolver

GenericSolver.SolverInterface

Constructor Summary

Constructors

Constructor and Description
Solver(Analysis analysis, SolverSynchronizer sync) Constructs a new solver.

Method Summary

Methods inherited from class dk.brics.tajs.solver.GenericSolver

getAnalysisLatticeElement, getFlowGraph, init, scan, solve

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Solver

public Solver(Analysis analysis,
      SolverSynchronizer sync)

Constructs a new solver.