termination.cc File Reference

#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"
Include dependency graph for termination.cc:
This graph shows which files directly or indirectly include this file:

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)
Generated on Sun Feb 27 16:20:00 2011 for PPL by  doxygen 1.6.3