Interfaces
IAbstractLatticeOperations IBranchSensitiveTransferFunction IFlowAnalysis IFlowAnalysisDefinition ILabel ILatticeOperations IResult ITransferFunction |
Classes
BooleanLabel ExceptionalLabel FlowAnalysis IteratorLabel LabeledResult LabeledSingleResult MotherFlowAnalysis NormalLabel SingleResult SwitchLabel |
Enums
AnalysisDirection SingletonLatticeElement |