termination_defs.hh File Reference

#include "termination_types.hh"
#include "Generator_types.hh"
#include "C_Polyhedron_types.hh"
#include "NNC_Polyhedron_types.hh"
#include "Constraint_System_types.hh"
#include "termination_templates.hh"

Include dependency graph for termination_defs.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	Parma_Polyhedra_Library::Termination_Helpers

Namespaces
	Parma_Polyhedra_Library
	The entire library is confined to this namespace.

Functions
Functions for the Synthesis of Linear Rankings
template<typename PSET >
bool	Parma_Polyhedra_Library::termination_test_MS (const PSET &pset)
template<typename PSET >
bool	Parma_Polyhedra_Library::termination_test_MS_2 (const PSET &pset_before, const PSET &pset_after)
template<typename PSET >
bool	Parma_Polyhedra_Library::one_affine_ranking_function_MS (const PSET &pset, Generator &mu)
template<typename PSET >
bool	Parma_Polyhedra_Library::one_affine_ranking_function_MS_2 (const PSET &pset_before, const PSET &pset_after, Generator &mu)
template<typename PSET >
void	Parma_Polyhedra_Library::all_affine_ranking_functions_MS (const PSET &pset, C_Polyhedron &mu_space)
template<typename PSET >
void	Parma_Polyhedra_Library::all_affine_ranking_functions_MS_2 (const PSET &pset_before, const PSET &pset_after, C_Polyhedron &mu_space)
template<typename PSET >
void	Parma_Polyhedra_Library::all_affine_quasi_ranking_functions_MS (const PSET &pset, C_Polyhedron &decreasing_mu_space, C_Polyhedron &bounded_mu_space)
template<typename PSET >
void	Parma_Polyhedra_Library::all_affine_quasi_ranking_functions_MS_2 (const PSET &pset_before, const PSET &pset_after, C_Polyhedron &decreasing_mu_space, C_Polyhedron &bounded_mu_space)
template<typename PSET >
bool	Parma_Polyhedra_Library::termination_test_PR (const PSET &pset)
template<typename PSET >
bool	Parma_Polyhedra_Library::termination_test_PR_2 (const PSET &pset_before, const PSET &pset_after)
template<typename PSET >
bool	Parma_Polyhedra_Library::one_affine_ranking_function_PR (const PSET &pset, Generator &mu)
template<typename PSET >
bool	Parma_Polyhedra_Library::one_affine_ranking_function_PR_2 (const PSET &pset_before, const PSET &pset_after, Generator &mu)
template<typename PSET >
void	Parma_Polyhedra_Library::all_affine_ranking_functions_PR (const PSET &pset, NNC_Polyhedron &mu_space)
template<typename PSET >
void	Parma_Polyhedra_Library::all_affine_ranking_functions_PR_2 (const PSET &pset_before, const PSET &pset_after, NNC_Polyhedron &mu_space)