# loki.analyse.tests.test_util_polyhedron

Functions

`assert_equal_polyhedron`(poly_A, poly_B) |
`fixture_here`() |
`fixture_testdir`(here) |
`simple_loop_extractor`(start_node) | Find all loops in the AST and structure them depending on their nesting level
`test_check_empty_polyhedron`(polyhedron, ...) |
`test_polyhedron_bounds`(A, b, variable_names, ...) | Test the production of lower and upper bounds.
`test_polyhedron_construction_from_nested_loops`(...) |
`test_polyhedron_from_loop_ranges`(variables, ...) | Test converting loop ranges to polyedron representation of iteration space.
`test_polyhedron_from_loop_ranges_failures`() | Test known limitation of the conversion from loop ranges to polyhedron.

fixture_here()

fixture_testdir(here)

test_polyhedron_from_loop_ranges(variables, lbounds, ubounds, A, b, variable_names)

  Test converting loop ranges to polyedron representation of iteration space.

test_polyhedron_from_loop_ranges_failures()

  Test known limitation of the conversion from loop ranges to polyhedron.

test_polyhedron_bounds(A, b, variable_names, lower_bounds, upper_bounds)

  Test the production of lower and upper bounds.

test_check_empty_polyhedron(polyhedron, is_empty, will_fail)

simple_loop_extractor(start_node)

  Find all loops in the AST and structure them depending on their nesting level

assert_equal_polyhedron(poly_A, poly_B)

test_polyhedron_construction_from_nested_loops(testdir, filename, loop_extractor, polyhedrons_per_subroutine)