Up – Package index » pfff » Library pfff-lang_GENERIC-analyze » Dataflow_liveness

Module `Dataflow_liveness`

pfff
- Library commons
- Library commons_core
- Library commons_ocollection
- Library pfff-commons-graph
  - Graphe
- Library pfff-config
  - Config_pfff
- Library pfff-graph_code
- Library pfff-h_files-format
- Library pfff-h_program-lang
- Library pfff-h_visualization
- Library pfff-lang_FUZZY
- Library pfff-lang_GENERIC
- Library pfff-lang_GENERIC-analyze
- Library pfff-lang_c
- Library pfff-lang_c-analyze
- Library pfff-lang_cpp
- Library pfff-lang_cpp-analyze
- Library pfff-lang_java
- Library pfff-lang_java-analyze
- Library pfff-lang_js
- Library pfff-lang_js-analyze
- Library pfff-lang_lisp
- Library pfff-lang_ml
- Library pfff-lang_ml-analyze
- Library pfff-lang_nw
- Library pfff-lang_nw-analyze
  - Highlight_nw
  - Test_analyze_nw
- Library pfff-lang_php
- Library pfff-lang_python
- Library pfff-lang_python-analyze
- Library pfff-lang_skip
- Sources

type mapping = unit Dataflow.mapping

val fixpoint : Dataflow.F.flow -> mapping