PPL Configured Java Language Interface  1.2
parma_polyhedra_library.Termination Member List

This is the complete list of members for parma_polyhedra_library.Termination, including all inherited members.

all_affine_quasi_ranking_functions_MS_BD_Shape_double(BD_Shape_double p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_BD_Shape_double_2(BD_Shape_double p_before, BD_Shape_double p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_BD_Shape_float(BD_Shape_float p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_BD_Shape_float_2(BD_Shape_float p_before, BD_Shape_float p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_BD_Shape_int16_t(BD_Shape_int16_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_BD_Shape_int16_t_2(BD_Shape_int16_t p_before, BD_Shape_int16_t p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_BD_Shape_int32_t(BD_Shape_int32_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_BD_Shape_int32_t_2(BD_Shape_int32_t p_before, BD_Shape_int32_t p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_BD_Shape_int64_t(BD_Shape_int64_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_BD_Shape_int64_t_2(BD_Shape_int64_t p_before, BD_Shape_int64_t p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_BD_Shape_int8_t(BD_Shape_int8_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_BD_Shape_int8_t_2(BD_Shape_int8_t p_before, BD_Shape_int8_t p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_BD_Shape_long_double(BD_Shape_long_double p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_BD_Shape_long_double_2(BD_Shape_long_double p_before, BD_Shape_long_double p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_BD_Shape_mpq_class(BD_Shape_mpq_class p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_BD_Shape_mpq_class_2(BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_BD_Shape_mpz_class(BD_Shape_mpz_class p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_BD_Shape_mpz_class_2(BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_C_Polyhedron(C_Polyhedron p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_C_Polyhedron_2(C_Polyhedron p_before, C_Polyhedron p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Double_Box(Double_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Double_Box_2(Double_Box p_before, Double_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Float_Box(Float_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Float_Box_2(Float_Box p_before, Float_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Grid(Grid p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Grid_2(Grid p_before, Grid p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Int16_Box(Int16_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Int16_Box_2(Int16_Box p_before, Int16_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Int32_Box(Int32_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Int32_Box_2(Int32_Box p_before, Int32_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Int64_Box(Int64_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Int64_Box_2(Int64_Box p_before, Int64_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Int8_Box(Int8_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Int8_Box_2(Int8_Box p_before, Int8_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Long_Double_Box(Long_Double_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Long_Double_Box_2(Long_Double_Box p_before, Long_Double_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_NNC_Polyhedron(NNC_Polyhedron p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_NNC_Polyhedron_2(NNC_Polyhedron p_before, NNC_Polyhedron p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Octagonal_Shape_double(Octagonal_Shape_double p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Octagonal_Shape_double_2(Octagonal_Shape_double p_before, Octagonal_Shape_double p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Octagonal_Shape_float(Octagonal_Shape_float p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Octagonal_Shape_float_2(Octagonal_Shape_float p_before, Octagonal_Shape_float p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int16_t(Octagonal_Shape_int16_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int16_t_2(Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int32_t(Octagonal_Shape_int32_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int32_t_2(Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int64_t(Octagonal_Shape_int64_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int64_t_2(Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int8_t(Octagonal_Shape_int8_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int8_t_2(Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Octagonal_Shape_long_double(Octagonal_Shape_long_double p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Octagonal_Shape_long_double_2(Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Octagonal_Shape_mpq_class(Octagonal_Shape_mpq_class p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Octagonal_Shape_mpq_class_2(Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Octagonal_Shape_mpz_class(Octagonal_Shape_mpz_class p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Octagonal_Shape_mpz_class_2(Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Rational_Box(Rational_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Rational_Box_2(Rational_Box p_before, Rational_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Uint16_Box(Uint16_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Uint16_Box_2(Uint16_Box p_before, Uint16_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Uint32_Box(Uint32_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Uint32_Box_2(Uint32_Box p_before, Uint32_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Uint64_Box(Uint64_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Uint64_Box_2(Uint64_Box p_before, Uint64_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Uint8_Box(Uint8_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Uint8_Box_2(Uint8_Box p_before, Uint8_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Z_Box(Z_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_quasi_ranking_functions_MS_Z_Box_2(Z_Box p_before, Z_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_BD_Shape_double(BD_Shape_double p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_BD_Shape_double_2(BD_Shape_double p_before, BD_Shape_double p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_BD_Shape_float(BD_Shape_float p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_BD_Shape_float_2(BD_Shape_float p_before, BD_Shape_float p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_BD_Shape_int16_t(BD_Shape_int16_t p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_BD_Shape_int16_t_2(BD_Shape_int16_t p_before, BD_Shape_int16_t p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_BD_Shape_int32_t(BD_Shape_int32_t p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_BD_Shape_int32_t_2(BD_Shape_int32_t p_before, BD_Shape_int32_t p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_BD_Shape_int64_t(BD_Shape_int64_t p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_BD_Shape_int64_t_2(BD_Shape_int64_t p_before, BD_Shape_int64_t p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_BD_Shape_int8_t(BD_Shape_int8_t p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_BD_Shape_int8_t_2(BD_Shape_int8_t p_before, BD_Shape_int8_t p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_BD_Shape_long_double(BD_Shape_long_double p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_BD_Shape_long_double_2(BD_Shape_long_double p_before, BD_Shape_long_double p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_BD_Shape_mpq_class(BD_Shape_mpq_class p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_BD_Shape_mpq_class_2(BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_BD_Shape_mpz_class(BD_Shape_mpz_class p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_BD_Shape_mpz_class_2(BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_C_Polyhedron(C_Polyhedron p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_C_Polyhedron_2(C_Polyhedron p_before, C_Polyhedron p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Double_Box(Double_Box p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Double_Box_2(Double_Box p_before, Double_Box p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Float_Box(Float_Box p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Float_Box_2(Float_Box p_before, Float_Box p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Grid(Grid p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Grid_2(Grid p_before, Grid p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Int16_Box(Int16_Box p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Int16_Box_2(Int16_Box p_before, Int16_Box p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Int32_Box(Int32_Box p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Int32_Box_2(Int32_Box p_before, Int32_Box p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Int64_Box(Int64_Box p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Int64_Box_2(Int64_Box p_before, Int64_Box p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Int8_Box(Int8_Box p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Int8_Box_2(Int8_Box p_before, Int8_Box p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Long_Double_Box(Long_Double_Box p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Long_Double_Box_2(Long_Double_Box p_before, Long_Double_Box p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_NNC_Polyhedron(NNC_Polyhedron p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_NNC_Polyhedron_2(NNC_Polyhedron p_before, NNC_Polyhedron p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Octagonal_Shape_double(Octagonal_Shape_double p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Octagonal_Shape_double_2(Octagonal_Shape_double p_before, Octagonal_Shape_double p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Octagonal_Shape_float(Octagonal_Shape_float p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Octagonal_Shape_float_2(Octagonal_Shape_float p_before, Octagonal_Shape_float p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Octagonal_Shape_int16_t(Octagonal_Shape_int16_t p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Octagonal_Shape_int16_t_2(Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Octagonal_Shape_int32_t(Octagonal_Shape_int32_t p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Octagonal_Shape_int32_t_2(Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Octagonal_Shape_int64_t(Octagonal_Shape_int64_t p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Octagonal_Shape_int64_t_2(Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Octagonal_Shape_int8_t(Octagonal_Shape_int8_t p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Octagonal_Shape_int8_t_2(Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Octagonal_Shape_long_double(Octagonal_Shape_long_double p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Octagonal_Shape_long_double_2(Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Octagonal_Shape_mpq_class(Octagonal_Shape_mpq_class p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Octagonal_Shape_mpq_class_2(Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Octagonal_Shape_mpz_class(Octagonal_Shape_mpz_class p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Octagonal_Shape_mpz_class_2(Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Rational_Box(Rational_Box p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Rational_Box_2(Rational_Box p_before, Rational_Box p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Uint16_Box(Uint16_Box p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Uint16_Box_2(Uint16_Box p_before, Uint16_Box p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Uint32_Box(Uint32_Box p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Uint32_Box_2(Uint32_Box p_before, Uint32_Box p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Uint64_Box(Uint64_Box p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Uint64_Box_2(Uint64_Box p_before, Uint64_Box p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Uint8_Box(Uint8_Box p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Uint8_Box_2(Uint8_Box p_before, Uint8_Box p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Z_Box(Z_Box p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_MS_Z_Box_2(Z_Box p_before, Z_Box p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_BD_Shape_double(BD_Shape_double p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_BD_Shape_double_2(BD_Shape_double p_before, BD_Shape_double p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_BD_Shape_float(BD_Shape_float p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_BD_Shape_float_2(BD_Shape_float p_before, BD_Shape_float p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_BD_Shape_int16_t(BD_Shape_int16_t p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_BD_Shape_int16_t_2(BD_Shape_int16_t p_before, BD_Shape_int16_t p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_BD_Shape_int32_t(BD_Shape_int32_t p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_BD_Shape_int32_t_2(BD_Shape_int32_t p_before, BD_Shape_int32_t p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_BD_Shape_int64_t(BD_Shape_int64_t p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_BD_Shape_int64_t_2(BD_Shape_int64_t p_before, BD_Shape_int64_t p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_BD_Shape_int8_t(BD_Shape_int8_t p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_BD_Shape_int8_t_2(BD_Shape_int8_t p_before, BD_Shape_int8_t p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_BD_Shape_long_double(BD_Shape_long_double p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_BD_Shape_long_double_2(BD_Shape_long_double p_before, BD_Shape_long_double p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_BD_Shape_mpq_class(BD_Shape_mpq_class p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_BD_Shape_mpq_class_2(BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_BD_Shape_mpz_class(BD_Shape_mpz_class p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_BD_Shape_mpz_class_2(BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_C_Polyhedron(C_Polyhedron p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_C_Polyhedron_2(C_Polyhedron p_before, C_Polyhedron p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Double_Box(Double_Box p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Double_Box_2(Double_Box p_before, Double_Box p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Float_Box(Float_Box p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Float_Box_2(Float_Box p_before, Float_Box p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Grid(Grid p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Grid_2(Grid p_before, Grid p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Int16_Box(Int16_Box p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Int16_Box_2(Int16_Box p_before, Int16_Box p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Int32_Box(Int32_Box p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Int32_Box_2(Int32_Box p_before, Int32_Box p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Int64_Box(Int64_Box p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Int64_Box_2(Int64_Box p_before, Int64_Box p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Int8_Box(Int8_Box p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Int8_Box_2(Int8_Box p_before, Int8_Box p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Long_Double_Box(Long_Double_Box p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Long_Double_Box_2(Long_Double_Box p_before, Long_Double_Box p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_NNC_Polyhedron(NNC_Polyhedron p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_NNC_Polyhedron_2(NNC_Polyhedron p_before, NNC_Polyhedron p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Octagonal_Shape_double(Octagonal_Shape_double p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Octagonal_Shape_double_2(Octagonal_Shape_double p_before, Octagonal_Shape_double p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Octagonal_Shape_float(Octagonal_Shape_float p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Octagonal_Shape_float_2(Octagonal_Shape_float p_before, Octagonal_Shape_float p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Octagonal_Shape_int16_t(Octagonal_Shape_int16_t p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Octagonal_Shape_int16_t_2(Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Octagonal_Shape_int32_t(Octagonal_Shape_int32_t p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Octagonal_Shape_int32_t_2(Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Octagonal_Shape_int64_t(Octagonal_Shape_int64_t p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Octagonal_Shape_int64_t_2(Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Octagonal_Shape_int8_t(Octagonal_Shape_int8_t p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Octagonal_Shape_int8_t_2(Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Octagonal_Shape_long_double(Octagonal_Shape_long_double p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Octagonal_Shape_long_double_2(Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Octagonal_Shape_mpq_class(Octagonal_Shape_mpq_class p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Octagonal_Shape_mpq_class_2(Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Octagonal_Shape_mpz_class(Octagonal_Shape_mpz_class p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Octagonal_Shape_mpz_class_2(Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Rational_Box(Rational_Box p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Rational_Box_2(Rational_Box p_before, Rational_Box p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Uint16_Box(Uint16_Box p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Uint16_Box_2(Uint16_Box p_before, Uint16_Box p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Uint32_Box(Uint32_Box p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Uint32_Box_2(Uint32_Box p_before, Uint32_Box p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Uint64_Box(Uint64_Box p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Uint64_Box_2(Uint64_Box p_before, Uint64_Box p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Uint8_Box(Uint8_Box p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Uint8_Box_2(Uint8_Box p_before, Uint8_Box p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Z_Box(Z_Box p, Polyhedron ph)parma_polyhedra_library.Terminationstatic
all_affine_ranking_functions_PR_Z_Box_2(Z_Box p_before, Z_Box p_after, Polyhedron ph)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_BD_Shape_double(BD_Shape_double p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_BD_Shape_double_2(BD_Shape_double p_before, BD_Shape_double p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_BD_Shape_float(BD_Shape_float p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_BD_Shape_float_2(BD_Shape_float p_before, BD_Shape_float p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_BD_Shape_int16_t(BD_Shape_int16_t p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_BD_Shape_int16_t_2(BD_Shape_int16_t p_before, BD_Shape_int16_t p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_BD_Shape_int32_t(BD_Shape_int32_t p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_BD_Shape_int32_t_2(BD_Shape_int32_t p_before, BD_Shape_int32_t p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_BD_Shape_int64_t(BD_Shape_int64_t p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_BD_Shape_int64_t_2(BD_Shape_int64_t p_before, BD_Shape_int64_t p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_BD_Shape_int8_t(BD_Shape_int8_t p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_BD_Shape_int8_t_2(BD_Shape_int8_t p_before, BD_Shape_int8_t p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_BD_Shape_long_double(BD_Shape_long_double p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_BD_Shape_long_double_2(BD_Shape_long_double p_before, BD_Shape_long_double p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_BD_Shape_mpq_class(BD_Shape_mpq_class p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_BD_Shape_mpq_class_2(BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_BD_Shape_mpz_class(BD_Shape_mpz_class p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_BD_Shape_mpz_class_2(BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_C_Polyhedron(C_Polyhedron p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_C_Polyhedron_2(C_Polyhedron p_before, C_Polyhedron p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Double_Box(Double_Box p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Double_Box_2(Double_Box p_before, Double_Box p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Float_Box(Float_Box p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Float_Box_2(Float_Box p_before, Float_Box p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Grid(Grid p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Grid_2(Grid p_before, Grid p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Int16_Box(Int16_Box p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Int16_Box_2(Int16_Box p_before, Int16_Box p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Int32_Box(Int32_Box p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Int32_Box_2(Int32_Box p_before, Int32_Box p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Int64_Box(Int64_Box p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Int64_Box_2(Int64_Box p_before, Int64_Box p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Int8_Box(Int8_Box p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Int8_Box_2(Int8_Box p_before, Int8_Box p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Long_Double_Box(Long_Double_Box p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Long_Double_Box_2(Long_Double_Box p_before, Long_Double_Box p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_NNC_Polyhedron(NNC_Polyhedron p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_NNC_Polyhedron_2(NNC_Polyhedron p_before, NNC_Polyhedron p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Octagonal_Shape_double(Octagonal_Shape_double p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Octagonal_Shape_double_2(Octagonal_Shape_double p_before, Octagonal_Shape_double p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Octagonal_Shape_float(Octagonal_Shape_float p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Octagonal_Shape_float_2(Octagonal_Shape_float p_before, Octagonal_Shape_float p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Octagonal_Shape_int16_t(Octagonal_Shape_int16_t p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Octagonal_Shape_int16_t_2(Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Octagonal_Shape_int32_t(Octagonal_Shape_int32_t p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Octagonal_Shape_int32_t_2(Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Octagonal_Shape_int64_t(Octagonal_Shape_int64_t p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Octagonal_Shape_int64_t_2(Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Octagonal_Shape_int8_t(Octagonal_Shape_int8_t p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Octagonal_Shape_int8_t_2(Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Octagonal_Shape_long_double(Octagonal_Shape_long_double p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Octagonal_Shape_long_double_2(Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Octagonal_Shape_mpq_class(Octagonal_Shape_mpq_class p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Octagonal_Shape_mpq_class_2(Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Octagonal_Shape_mpz_class(Octagonal_Shape_mpz_class p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Octagonal_Shape_mpz_class_2(Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Rational_Box(Rational_Box p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Rational_Box_2(Rational_Box p_before, Rational_Box p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Uint16_Box(Uint16_Box p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Uint16_Box_2(Uint16_Box p_before, Uint16_Box p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Uint32_Box(Uint32_Box p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Uint32_Box_2(Uint32_Box p_before, Uint32_Box p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Uint64_Box(Uint64_Box p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Uint64_Box_2(Uint64_Box p_before, Uint64_Box p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Uint8_Box(Uint8_Box p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Uint8_Box_2(Uint8_Box p_before, Uint8_Box p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Z_Box(Z_Box p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_MS_Z_Box_2(Z_Box p_before, Z_Box p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_BD_Shape_double(BD_Shape_double p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_BD_Shape_double_2(BD_Shape_double p_before, BD_Shape_double p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_BD_Shape_float(BD_Shape_float p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_BD_Shape_float_2(BD_Shape_float p_before, BD_Shape_float p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_BD_Shape_int16_t(BD_Shape_int16_t p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_BD_Shape_int16_t_2(BD_Shape_int16_t p_before, BD_Shape_int16_t p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_BD_Shape_int32_t(BD_Shape_int32_t p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_BD_Shape_int32_t_2(BD_Shape_int32_t p_before, BD_Shape_int32_t p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_BD_Shape_int64_t(BD_Shape_int64_t p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_BD_Shape_int64_t_2(BD_Shape_int64_t p_before, BD_Shape_int64_t p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_BD_Shape_int8_t(BD_Shape_int8_t p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_BD_Shape_int8_t_2(BD_Shape_int8_t p_before, BD_Shape_int8_t p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_BD_Shape_long_double(BD_Shape_long_double p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_BD_Shape_long_double_2(BD_Shape_long_double p_before, BD_Shape_long_double p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_BD_Shape_mpq_class(BD_Shape_mpq_class p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_BD_Shape_mpq_class_2(BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_BD_Shape_mpz_class(BD_Shape_mpz_class p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_BD_Shape_mpz_class_2(BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_C_Polyhedron(C_Polyhedron p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_C_Polyhedron_2(C_Polyhedron p_before, C_Polyhedron p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Double_Box(Double_Box p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Double_Box_2(Double_Box p_before, Double_Box p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Float_Box(Float_Box p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Float_Box_2(Float_Box p_before, Float_Box p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Grid(Grid p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Grid_2(Grid p_before, Grid p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Int16_Box(Int16_Box p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Int16_Box_2(Int16_Box p_before, Int16_Box p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Int32_Box(Int32_Box p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Int32_Box_2(Int32_Box p_before, Int32_Box p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Int64_Box(Int64_Box p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Int64_Box_2(Int64_Box p_before, Int64_Box p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Int8_Box(Int8_Box p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Int8_Box_2(Int8_Box p_before, Int8_Box p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Long_Double_Box(Long_Double_Box p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Long_Double_Box_2(Long_Double_Box p_before, Long_Double_Box p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_NNC_Polyhedron(NNC_Polyhedron p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_NNC_Polyhedron_2(NNC_Polyhedron p_before, NNC_Polyhedron p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Octagonal_Shape_double(Octagonal_Shape_double p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Octagonal_Shape_double_2(Octagonal_Shape_double p_before, Octagonal_Shape_double p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Octagonal_Shape_float(Octagonal_Shape_float p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Octagonal_Shape_float_2(Octagonal_Shape_float p_before, Octagonal_Shape_float p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Octagonal_Shape_int16_t(Octagonal_Shape_int16_t p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Octagonal_Shape_int16_t_2(Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Octagonal_Shape_int32_t(Octagonal_Shape_int32_t p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Octagonal_Shape_int32_t_2(Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Octagonal_Shape_int64_t(Octagonal_Shape_int64_t p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Octagonal_Shape_int64_t_2(Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Octagonal_Shape_int8_t(Octagonal_Shape_int8_t p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Octagonal_Shape_int8_t_2(Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Octagonal_Shape_long_double(Octagonal_Shape_long_double p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Octagonal_Shape_long_double_2(Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Octagonal_Shape_mpq_class(Octagonal_Shape_mpq_class p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Octagonal_Shape_mpq_class_2(Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Octagonal_Shape_mpz_class(Octagonal_Shape_mpz_class p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Octagonal_Shape_mpz_class_2(Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Rational_Box(Rational_Box p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Rational_Box_2(Rational_Box p_before, Rational_Box p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Uint16_Box(Uint16_Box p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Uint16_Box_2(Uint16_Box p_before, Uint16_Box p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Uint32_Box(Uint32_Box p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Uint32_Box_2(Uint32_Box p_before, Uint32_Box p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Uint64_Box(Uint64_Box p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Uint64_Box_2(Uint64_Box p_before, Uint64_Box p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Uint8_Box(Uint8_Box p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Uint8_Box_2(Uint8_Box p_before, Uint8_Box p_after, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Z_Box(Z_Box p, Generator g)parma_polyhedra_library.Terminationstatic
one_affine_ranking_function_PR_Z_Box_2(Z_Box p_before, Z_Box p_after, Generator g)parma_polyhedra_library.Terminationstatic
termination_test_MS_BD_Shape_double(BD_Shape_double p)parma_polyhedra_library.Terminationstatic
termination_test_MS_BD_Shape_double_2(BD_Shape_double p_before, BD_Shape_double p_after)parma_polyhedra_library.Terminationstatic
termination_test_MS_BD_Shape_float(BD_Shape_float p)parma_polyhedra_library.Terminationstatic
termination_test_MS_BD_Shape_float_2(BD_Shape_float p_before, BD_Shape_float p_after)parma_polyhedra_library.Terminationstatic
termination_test_MS_BD_Shape_int16_t(BD_Shape_int16_t p)parma_polyhedra_library.Terminationstatic
termination_test_MS_BD_Shape_int16_t_2(BD_Shape_int16_t p_before, BD_Shape_int16_t p_after)parma_polyhedra_library.Terminationstatic
termination_test_MS_BD_Shape_int32_t(BD_Shape_int32_t p)parma_polyhedra_library.Terminationstatic
termination_test_MS_BD_Shape_int32_t_2(BD_Shape_int32_t p_before, BD_Shape_int32_t p_after)parma_polyhedra_library.Terminationstatic
termination_test_MS_BD_Shape_int64_t(BD_Shape_int64_t p)parma_polyhedra_library.Terminationstatic
termination_test_MS_BD_Shape_int64_t_2(BD_Shape_int64_t p_before, BD_Shape_int64_t p_after)parma_polyhedra_library.Terminationstatic
termination_test_MS_BD_Shape_int8_t(BD_Shape_int8_t p)parma_polyhedra_library.Terminationstatic
termination_test_MS_BD_Shape_int8_t_2(BD_Shape_int8_t p_before, BD_Shape_int8_t p_after)parma_polyhedra_library.Terminationstatic
termination_test_MS_BD_Shape_long_double(BD_Shape_long_double p)parma_polyhedra_library.Terminationstatic
termination_test_MS_BD_Shape_long_double_2(BD_Shape_long_double p_before, BD_Shape_long_double p_after)parma_polyhedra_library.Terminationstatic
termination_test_MS_BD_Shape_mpq_class(BD_Shape_mpq_class p)parma_polyhedra_library.Terminationstatic
termination_test_MS_BD_Shape_mpq_class_2(BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after)parma_polyhedra_library.Terminationstatic
termination_test_MS_BD_Shape_mpz_class(BD_Shape_mpz_class p)parma_polyhedra_library.Terminationstatic
termination_test_MS_BD_Shape_mpz_class_2(BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after)parma_polyhedra_library.Terminationstatic
termination_test_MS_C_Polyhedron(C_Polyhedron p)parma_polyhedra_library.Terminationstatic
termination_test_MS_C_Polyhedron_2(C_Polyhedron p_before, C_Polyhedron p_after)parma_polyhedra_library.Terminationstatic
termination_test_MS_Double_Box(Double_Box p)parma_polyhedra_library.Terminationstatic
termination_test_MS_Double_Box_2(Double_Box p_before, Double_Box p_after)parma_polyhedra_library.Terminationstatic
termination_test_MS_Float_Box(Float_Box p)parma_polyhedra_library.Terminationstatic
termination_test_MS_Float_Box_2(Float_Box p_before, Float_Box p_after)parma_polyhedra_library.Terminationstatic
termination_test_MS_Grid(Grid p)parma_polyhedra_library.Terminationstatic
termination_test_MS_Grid_2(Grid p_before, Grid p_after)parma_polyhedra_library.Terminationstatic
termination_test_MS_Int16_Box(Int16_Box p)parma_polyhedra_library.Terminationstatic
termination_test_MS_Int16_Box_2(Int16_Box p_before, Int16_Box p_after)parma_polyhedra_library.Terminationstatic
termination_test_MS_Int32_Box(Int32_Box p)parma_polyhedra_library.Terminationstatic
termination_test_MS_Int32_Box_2(Int32_Box p_before, Int32_Box p_after)parma_polyhedra_library.Terminationstatic
termination_test_MS_Int64_Box(Int64_Box p)parma_polyhedra_library.Terminationstatic
termination_test_MS_Int64_Box_2(Int64_Box p_before, Int64_Box p_after)parma_polyhedra_library.Terminationstatic
termination_test_MS_Int8_Box(Int8_Box p)parma_polyhedra_library.Terminationstatic
termination_test_MS_Int8_Box_2(Int8_Box p_before, Int8_Box p_after)parma_polyhedra_library.Terminationstatic
termination_test_MS_Long_Double_Box(Long_Double_Box p)parma_polyhedra_library.Terminationstatic
termination_test_MS_Long_Double_Box_2(Long_Double_Box p_before, Long_Double_Box p_after)parma_polyhedra_library.Terminationstatic
termination_test_MS_NNC_Polyhedron(NNC_Polyhedron p)parma_polyhedra_library.Terminationstatic
termination_test_MS_NNC_Polyhedron_2(NNC_Polyhedron p_before, NNC_Polyhedron p_after)parma_polyhedra_library.Terminationstatic
termination_test_MS_Octagonal_Shape_double(Octagonal_Shape_double p)parma_polyhedra_library.Terminationstatic
termination_test_MS_Octagonal_Shape_double_2(Octagonal_Shape_double p_before, Octagonal_Shape_double p_after)parma_polyhedra_library.Terminationstatic
termination_test_MS_Octagonal_Shape_float(Octagonal_Shape_float p)parma_polyhedra_library.Terminationstatic
termination_test_MS_Octagonal_Shape_float_2(Octagonal_Shape_float p_before, Octagonal_Shape_float p_after)parma_polyhedra_library.Terminationstatic
termination_test_MS_Octagonal_Shape_int16_t(Octagonal_Shape_int16_t p)parma_polyhedra_library.Terminationstatic
termination_test_MS_Octagonal_Shape_int16_t_2(Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after)parma_polyhedra_library.Terminationstatic
termination_test_MS_Octagonal_Shape_int32_t(Octagonal_Shape_int32_t p)parma_polyhedra_library.Terminationstatic
termination_test_MS_Octagonal_Shape_int32_t_2(Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after)parma_polyhedra_library.Terminationstatic
termination_test_MS_Octagonal_Shape_int64_t(Octagonal_Shape_int64_t p)parma_polyhedra_library.Terminationstatic
termination_test_MS_Octagonal_Shape_int64_t_2(Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after)parma_polyhedra_library.Terminationstatic
termination_test_MS_Octagonal_Shape_int8_t(Octagonal_Shape_int8_t p)parma_polyhedra_library.Terminationstatic
termination_test_MS_Octagonal_Shape_int8_t_2(Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after)parma_polyhedra_library.Terminationstatic
termination_test_MS_Octagonal_Shape_long_double(Octagonal_Shape_long_double p)parma_polyhedra_library.Terminationstatic
termination_test_MS_Octagonal_Shape_long_double_2(Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after)parma_polyhedra_library.Terminationstatic
termination_test_MS_Octagonal_Shape_mpq_class(Octagonal_Shape_mpq_class p)parma_polyhedra_library.Terminationstatic
termination_test_MS_Octagonal_Shape_mpq_class_2(Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after)parma_polyhedra_library.Terminationstatic
termination_test_MS_Octagonal_Shape_mpz_class(Octagonal_Shape_mpz_class p)parma_polyhedra_library.Terminationstatic
termination_test_MS_Octagonal_Shape_mpz_class_2(Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after)parma_polyhedra_library.Terminationstatic
termination_test_MS_Rational_Box(Rational_Box p)parma_polyhedra_library.Terminationstatic
termination_test_MS_Rational_Box_2(Rational_Box p_before, Rational_Box p_after)parma_polyhedra_library.Terminationstatic
termination_test_MS_Uint16_Box(Uint16_Box p)parma_polyhedra_library.Terminationstatic
termination_test_MS_Uint16_Box_2(Uint16_Box p_before, Uint16_Box p_after)parma_polyhedra_library.Terminationstatic
termination_test_MS_Uint32_Box(Uint32_Box p)parma_polyhedra_library.Terminationstatic
termination_test_MS_Uint32_Box_2(Uint32_Box p_before, Uint32_Box p_after)parma_polyhedra_library.Terminationstatic
termination_test_MS_Uint64_Box(Uint64_Box p)parma_polyhedra_library.Terminationstatic
termination_test_MS_Uint64_Box_2(Uint64_Box p_before, Uint64_Box p_after)parma_polyhedra_library.Terminationstatic
termination_test_MS_Uint8_Box(Uint8_Box p)parma_polyhedra_library.Terminationstatic
termination_test_MS_Uint8_Box_2(Uint8_Box p_before, Uint8_Box p_after)parma_polyhedra_library.Terminationstatic
termination_test_MS_Z_Box(Z_Box p)parma_polyhedra_library.Terminationstatic
termination_test_MS_Z_Box_2(Z_Box p_before, Z_Box p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_BD_Shape_double(BD_Shape_double p)parma_polyhedra_library.Terminationstatic
termination_test_PR_BD_Shape_double_2(BD_Shape_double p_before, BD_Shape_double p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_BD_Shape_float(BD_Shape_float p)parma_polyhedra_library.Terminationstatic
termination_test_PR_BD_Shape_float_2(BD_Shape_float p_before, BD_Shape_float p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_BD_Shape_int16_t(BD_Shape_int16_t p)parma_polyhedra_library.Terminationstatic
termination_test_PR_BD_Shape_int16_t_2(BD_Shape_int16_t p_before, BD_Shape_int16_t p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_BD_Shape_int32_t(BD_Shape_int32_t p)parma_polyhedra_library.Terminationstatic
termination_test_PR_BD_Shape_int32_t_2(BD_Shape_int32_t p_before, BD_Shape_int32_t p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_BD_Shape_int64_t(BD_Shape_int64_t p)parma_polyhedra_library.Terminationstatic
termination_test_PR_BD_Shape_int64_t_2(BD_Shape_int64_t p_before, BD_Shape_int64_t p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_BD_Shape_int8_t(BD_Shape_int8_t p)parma_polyhedra_library.Terminationstatic
termination_test_PR_BD_Shape_int8_t_2(BD_Shape_int8_t p_before, BD_Shape_int8_t p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_BD_Shape_long_double(BD_Shape_long_double p)parma_polyhedra_library.Terminationstatic
termination_test_PR_BD_Shape_long_double_2(BD_Shape_long_double p_before, BD_Shape_long_double p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_BD_Shape_mpq_class(BD_Shape_mpq_class p)parma_polyhedra_library.Terminationstatic
termination_test_PR_BD_Shape_mpq_class_2(BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_BD_Shape_mpz_class(BD_Shape_mpz_class p)parma_polyhedra_library.Terminationstatic
termination_test_PR_BD_Shape_mpz_class_2(BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_C_Polyhedron(C_Polyhedron p)parma_polyhedra_library.Terminationstatic
termination_test_PR_C_Polyhedron_2(C_Polyhedron p_before, C_Polyhedron p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_Double_Box(Double_Box p)parma_polyhedra_library.Terminationstatic
termination_test_PR_Double_Box_2(Double_Box p_before, Double_Box p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_Float_Box(Float_Box p)parma_polyhedra_library.Terminationstatic
termination_test_PR_Float_Box_2(Float_Box p_before, Float_Box p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_Grid(Grid p)parma_polyhedra_library.Terminationstatic
termination_test_PR_Grid_2(Grid p_before, Grid p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_Int16_Box(Int16_Box p)parma_polyhedra_library.Terminationstatic
termination_test_PR_Int16_Box_2(Int16_Box p_before, Int16_Box p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_Int32_Box(Int32_Box p)parma_polyhedra_library.Terminationstatic
termination_test_PR_Int32_Box_2(Int32_Box p_before, Int32_Box p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_Int64_Box(Int64_Box p)parma_polyhedra_library.Terminationstatic
termination_test_PR_Int64_Box_2(Int64_Box p_before, Int64_Box p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_Int8_Box(Int8_Box p)parma_polyhedra_library.Terminationstatic
termination_test_PR_Int8_Box_2(Int8_Box p_before, Int8_Box p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_Long_Double_Box(Long_Double_Box p)parma_polyhedra_library.Terminationstatic
termination_test_PR_Long_Double_Box_2(Long_Double_Box p_before, Long_Double_Box p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_NNC_Polyhedron(NNC_Polyhedron p)parma_polyhedra_library.Terminationstatic
termination_test_PR_NNC_Polyhedron_2(NNC_Polyhedron p_before, NNC_Polyhedron p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_Octagonal_Shape_double(Octagonal_Shape_double p)parma_polyhedra_library.Terminationstatic
termination_test_PR_Octagonal_Shape_double_2(Octagonal_Shape_double p_before, Octagonal_Shape_double p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_Octagonal_Shape_float(Octagonal_Shape_float p)parma_polyhedra_library.Terminationstatic
termination_test_PR_Octagonal_Shape_float_2(Octagonal_Shape_float p_before, Octagonal_Shape_float p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_Octagonal_Shape_int16_t(Octagonal_Shape_int16_t p)parma_polyhedra_library.Terminationstatic
termination_test_PR_Octagonal_Shape_int16_t_2(Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_Octagonal_Shape_int32_t(Octagonal_Shape_int32_t p)parma_polyhedra_library.Terminationstatic
termination_test_PR_Octagonal_Shape_int32_t_2(Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_Octagonal_Shape_int64_t(Octagonal_Shape_int64_t p)parma_polyhedra_library.Terminationstatic
termination_test_PR_Octagonal_Shape_int64_t_2(Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_Octagonal_Shape_int8_t(Octagonal_Shape_int8_t p)parma_polyhedra_library.Terminationstatic
termination_test_PR_Octagonal_Shape_int8_t_2(Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_Octagonal_Shape_long_double(Octagonal_Shape_long_double p)parma_polyhedra_library.Terminationstatic
termination_test_PR_Octagonal_Shape_long_double_2(Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_Octagonal_Shape_mpq_class(Octagonal_Shape_mpq_class p)parma_polyhedra_library.Terminationstatic
termination_test_PR_Octagonal_Shape_mpq_class_2(Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_Octagonal_Shape_mpz_class(Octagonal_Shape_mpz_class p)parma_polyhedra_library.Terminationstatic
termination_test_PR_Octagonal_Shape_mpz_class_2(Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_Rational_Box(Rational_Box p)parma_polyhedra_library.Terminationstatic
termination_test_PR_Rational_Box_2(Rational_Box p_before, Rational_Box p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_Uint16_Box(Uint16_Box p)parma_polyhedra_library.Terminationstatic
termination_test_PR_Uint16_Box_2(Uint16_Box p_before, Uint16_Box p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_Uint32_Box(Uint32_Box p)parma_polyhedra_library.Terminationstatic
termination_test_PR_Uint32_Box_2(Uint32_Box p_before, Uint32_Box p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_Uint64_Box(Uint64_Box p)parma_polyhedra_library.Terminationstatic
termination_test_PR_Uint64_Box_2(Uint64_Box p_before, Uint64_Box p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_Uint8_Box(Uint8_Box p)parma_polyhedra_library.Terminationstatic
termination_test_PR_Uint8_Box_2(Uint8_Box p_before, Uint8_Box p_after)parma_polyhedra_library.Terminationstatic
termination_test_PR_Z_Box(Z_Box p)parma_polyhedra_library.Terminationstatic
termination_test_PR_Z_Box_2(Z_Box p_before, Z_Box p_after)parma_polyhedra_library.Terminationstatic