#include <ppl-config.h>#include "termination.defs.hh"#include "Generator.types.hh"#include "C_Polyhedron.types.hh"#include "NNC_Polyhedron.types.hh"#include "termination.templates.hh"#include "NNC_Polyhedron.defs.hh"

Go to the source code of this file.
Namespaces | |
| namespace | Parma_Polyhedra_Library |
The entire library is confined to this namespace. | |
| namespace | Parma_Polyhedra_Library::Implementation |
Implementation related data and functions. | |
| namespace | Parma_Polyhedra_Library::Implementation::Termination |
Functions | |
| void | Parma_Polyhedra_Library::Implementation::Termination::assign_all_inequalities_approximation (const Constraint_System &cs_in, Constraint_System &cs_out) |
| template<> | |
| void | Parma_Polyhedra_Library::Implementation::Termination::assign_all_inequalities_approximation (const C_Polyhedron &ph, Constraint_System &cs) |
| void | Parma_Polyhedra_Library::Implementation::Termination::shift_unprimed_variables (Constraint_System &cs) |
| void | Parma_Polyhedra_Library::Implementation::Termination::fill_constraint_systems_MS (const Constraint_System &cs, Constraint_System &cs_out1, Constraint_System &cs_out2) |
| Fill the constraint system(s) for the application of the Mesnard and Serebrenik improved termination tests. | |
| void | Parma_Polyhedra_Library::Implementation::Termination::fill_constraint_system_PR (const Constraint_System &cs_before, const Constraint_System &cs_after, Constraint_System &cs_out, Linear_Expression &le_out) |
| Fill the constraint system(s) for the application of the Podelski and Rybalchenko improved termination tests. | |
| void | Parma_Polyhedra_Library::Implementation::Termination::fill_constraint_system_PR_original (const Constraint_System &cs, Constraint_System &cs_out, Linear_Expression &le_out) |
| bool | Parma_Polyhedra_Library::Implementation::Termination::termination_test_MS (const Constraint_System &cs) |
| bool | Parma_Polyhedra_Library::Implementation::Termination::one_affine_ranking_function_MS (const Constraint_System &cs, Generator &mu) |
| void | Parma_Polyhedra_Library::Implementation::Termination::all_affine_ranking_functions_MS (const Constraint_System &cs, C_Polyhedron &mu_space) |
| void | Parma_Polyhedra_Library::Implementation::Termination::all_affine_quasi_ranking_functions_MS (const Constraint_System &cs, C_Polyhedron &decreasing_mu_space, C_Polyhedron &bounded_mu_space) |
| bool | Parma_Polyhedra_Library::Implementation::Termination::termination_test_PR_original (const Constraint_System &cs) |
| bool | Parma_Polyhedra_Library::Implementation::Termination::termination_test_PR (const Constraint_System &cs_before, const Constraint_System &cs_after) |
| bool | Parma_Polyhedra_Library::Implementation::Termination::one_affine_ranking_function_PR (const Constraint_System &cs_before, const Constraint_System &cs_after, Generator &mu) |
| bool | Parma_Polyhedra_Library::Implementation::Termination::one_affine_ranking_function_PR_original (const Constraint_System &cs, Generator &mu) |
| void | Parma_Polyhedra_Library::Implementation::Termination::all_affine_ranking_functions_PR (const Constraint_System &cs_before, const Constraint_System &cs_after, NNC_Polyhedron &mu_space) |
| void | Parma_Polyhedra_Library::Implementation::Termination::all_affine_ranking_functions_PR_original (const Constraint_System &cs, NNC_Polyhedron &mu_space) |
1.6.3