loki.analyse package

Subpackages

• loki.analyse.tests package
  • Submodules
    • loki.analyse.tests.test_analyse_dataflow module
    • loki.analyse.tests.test_util_linear_algebra module
      • test_backsubstitution()
      • test_generate_row_echelon_form()
      • test_enforce_integer_arithmetics_for_row_echelon_form()
      • test_require_conditions()
      • test_is_independent_system()
      • test_yield_one_d_systems()
    • loki.analyse.tests.test_util_polyhedron module
  • Module contents

Submodules

• loki.analyse.analyse_dataflow module
  • dataflow_analysis_attached()
  • read_after_write_vars()
  • loop_carried_dependencies()
• loki.analyse.util_linear_algebra module
  • back_substitution()
  • generate_row_echelon_form()
  • is_independent_system()
  • yield_one_d_systems()
• loki.analyse.util_polyhedron module
  • Polyhedron
    • Polyhedron.A
    • Polyhedron.b
    • Polyhedron.variables
    • Polyhedron.is_empty()
    • Polyhedron.variable_to_index()
    • Polyhedron.lower_bounds()
    • Polyhedron.upper_bounds()
    • Polyhedron.generate_entries_for_lower_bound()
    • Polyhedron.from_loop_ranges()
    • Polyhedron.from_nested_loops()

Module contents

Advanced analysis utilities, such as dataflow analysis functionalities.