dk.brics.tajs.solver

Interfaces

• IAnalysis
• IAnalysisLatticeElement
• ICallEdge
• IContext
• IEdgeTransfer
• IInitialStateBuilder
• INodeTransfer
• ISolverMonitoring
• IState

Classes

• BlockAndContext
• CallDependencies
• CallGraph
• CallGraph.ReverseEdge
• GenericSolver
• IAnalysisLatticeElement.MergeResult
• Message
• NodeAndContext
• SolverSynchronizer
• WorkList

Enums

• Message.Severity
• Message.Status