#include "ppl-config.h"
#include "termination_defs.hh"
#include "NNC_Polyhedron_defs.hh"

Include dependency graph for termination.cc:

Namespaces
	Parma_Polyhedra_Library
	The entire library is confined to this namespace.

	Parma_Polyhedra_Library::Implementation
	Implementation related data and functions.

	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::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. More...

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. More...

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)

Namespaces

Functions