PPL  1.2
termination_templates.hh File Reference
#include "globals_defs.hh"
#include "Variable_defs.hh"
#include "Generator_defs.hh"
#include "Constraint_System_defs.hh"
#include "C_Polyhedron_defs.hh"
#include "NNC_Polyhedron_defs.hh"
#include <stdexcept>
Include dependency graph for termination_templates.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

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
 

Macros

#define PRINT_DEBUG_INFO   0
 

Functions

void Parma_Polyhedra_Library::Implementation::Termination::assign_all_inequalities_approximation (const Constraint_System &cs_in, Constraint_System &cs_out)
 
template<typename PSET >
void Parma_Polyhedra_Library::Implementation::Termination::assign_all_inequalities_approximation (const PSET &pset, Constraint_System &cs)
 
template<>
void Parma_Polyhedra_Library::Implementation::Termination::assign_all_inequalities_approximation (const C_Polyhedron &ph, Constraint_System &cs)
 
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 (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)
 
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)
 
bool Parma_Polyhedra_Library::Implementation::Termination::termination_test_PR_original (const Constraint_System &cs)
 
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_original (const Constraint_System &cs, NNC_Polyhedron &mu_space)
 
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_2 (const PSET &pset_before, const PSET &pset_after)
 
template<typename PSET >
bool Parma_Polyhedra_Library::termination_test_PR (const PSET &pset)
 
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 >
bool Parma_Polyhedra_Library::one_affine_ranking_function_PR (const PSET &pset, Generator &mu)
 
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)
 
template<typename PSET >
void Parma_Polyhedra_Library::all_affine_ranking_functions_PR (const PSET &pset, NNC_Polyhedron &mu_space)
 

Macro Definition Documentation

#define PRINT_DEBUG_INFO   0

Definition at line 36 of file termination_templates.hh.