Here is a list of all file members with links to the files they belong to:
- p_atom
: ppl_prolog.icc
- p_timeout_object
: ppl_prolog.icc
- Parma_Polyhedra_Library_initializer
: initializer.hh
- PL_EXTENSION_ENTRY
: ppl_swiprolog.cc
- ppl_add_Linear_Expression_to_Linear_Expression()
: ppl_c.h
, ppl_c.cc
- PPL_algorithms_hh
: algorithms.hh
- PPL_ARITHMETIC_OVERFLOW
: ppl_c.h
- ppl_assign_C_Polyhedron_from_C_Polyhedron()
: ppl_c.h
, ppl_c.cc
- ppl_assign_Coefficient_from_Coefficient()
: ppl_c.h
, ppl_c.cc
- ppl_assign_Coefficient_from_mpz_t()
: ppl_c.h
, ppl_c.cc
- ppl_assign_Constraint_from_Constraint()
: ppl_c.cc
, ppl_c.h
- ppl_assign_Constraint_System_const_iterator_from_Constraint_System_const_iterator()
: ppl_c.h
, ppl_c.cc
- ppl_assign_Constraint_System_from_Constraint_System()
: ppl_c.h
, ppl_c.cc
- ppl_assign_Generator_from_Generator()
: ppl_c.h
, ppl_c.cc
- ppl_assign_Generator_System_const_iterator_from_Generator_System_const_iterator()
: ppl_c.h
, ppl_c.cc
- ppl_assign_Generator_System_from_Generator_System()
: ppl_c.h
, ppl_c.cc
- ppl_assign_Linear_Expression_from_Linear_Expression()
: ppl_c.h
, ppl_c.cc
- ppl_assign_LP_Problem_from_LP_Problem()
: ppl_c.h
, ppl_c.cc
- ppl_assign_NNC_Polyhedron_from_NNC_Polyhedron()
: ppl_c.cc
, ppl_c.h
- ppl_banner()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- PPL_BD_Shape_defs_hh
: BD_Shape.defs.hh
- PPL_BD_Shape_inlines_hh
: BD_Shape.inlines.hh
- PPL_BD_Shape_templates_hh
: BD_Shape.templates.hh
- PPL_BD_Shape_types_hh
: BD_Shape.types.hh
- PPL_BD_Status_defs_hh
: BD_Shape.defs.hh
- PPL_BHRZ03_Certificate_defs_hh
: BHRZ03_Certificate.defs.hh
- PPL_BHRZ03_Certificate_inlines_hh
: BHRZ03_Certificate.inlines.hh
- PPL_BHRZ03_Certificate_types_hh
: BHRZ03_Certificate.types.hh
- PPL_Bounding_Box_defs_hh
: Bounding_Box.defs.hh
- PPL_Bounding_Box_inlines_hh
: Bounding_Box.inlines.hh
- PPL_Bounding_Box_types_hh
: Bounding_Box.types.hh
- PPL_C_Polyhedron_defs_hh
: C_Polyhedron.defs.hh
- PPL_C_Polyhedron_inlines_hh
: C_Polyhedron.inlines.hh
- PPL_C_Polyhedron_types_hh
: C_Polyhedron.types.hh
- PPL_checked_defs_hh
: checked.defs.hh
- PPL_checked_float_inlines_hh
: checked_float.inlines.hh
- PPL_checked_int_inlines_hh
: checked_int.inlines.hh
- PPL_checked_mpq_inlines_hh
: checked_mpq.inlines.hh
- PPL_checked_mpz_inlines_hh
: checked_mpz.inlines.hh
- PPL_Checked_Number_defs_hh
: Checked_Number.defs.hh
- PPL_Checked_Number_inlines_hh
: Checked_Number.inlines.hh
- PPL_Checked_Number_types_hh
: Checked_Number.types.hh
- PPL_Coefficient_defs_hh
: Coefficient.defs.hh
- PPL_Coefficient_inlines_hh
: Coefficient.inlines.hh
- ppl_Coefficient_is_bounded()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_Coefficient_max()
: ppl_c.cc
, ppl_prolog.icc
, ppl_c.h
- ppl_Coefficient_min()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_Coefficient_OK()
: ppl_c.h
, ppl_c.cc
- ppl_Coefficient_to_mpz_t()
: ppl_c.h
, ppl_c.cc
- PPL_Coefficient_traits_template_hh
: Coefficient_traits_template.hh
- PPL_Coefficient_types_hh
: Coefficient.types.hh
- PPL_COMPLEXITY_CLASS_ANY
: ppl_c.h
, ppl_c.cc
- PPL_COMPLEXITY_CLASS_POLYNOMIAL
: ppl_c.h
, ppl_c.cc
- PPL_COMPLEXITY_CLASS_SIMPLEX
: ppl_c.h
, ppl_c.cc
- PPL_Congruence_defs_hh
: Congruence.defs.hh
- PPL_Congruence_inlines_hh
: Congruence.inlines.hh
- PPL_Congruence_System_defs_hh
: Congruence_System.defs.hh
- PPL_Congruence_System_inlines_hh
: Congruence_System.inlines.hh
- PPL_Congruence_System_types_hh
: Congruence_System.types.hh
- PPL_Congruence_types_hh
: Congruence.types.hh
- ppl_Constraint_coefficient()
: ppl_c.h
, ppl_c.cc
- PPL_Constraint_defs_hh
: Constraint.defs.hh
- ppl_Constraint_inhomogeneous_term()
: ppl_c.h
, ppl_c.cc
- PPL_Constraint_inlines_hh
: Constraint.inlines.hh
- ppl_Constraint_OK()
: ppl_c.h
, ppl_c.cc
- ppl_Constraint_space_dimension()
: ppl_c.h
, ppl_c.cc
- ppl_Constraint_System_begin()
: ppl_c.h
, ppl_c.cc
- ppl_Constraint_System_clear()
: ppl_c.h
, ppl_c.cc
- ppl_Constraint_System_const_iterator_dereference()
: ppl_c.h
, ppl_c.cc
- ppl_Constraint_System_const_iterator_equal_test()
: ppl_c.h
, ppl_c.cc
- ppl_Constraint_System_const_iterator_increment()
: ppl_c.h
, ppl_c.cc
- PPL_Constraint_System_defs_hh
: Constraint_System.defs.hh
- ppl_Constraint_System_end()
: ppl_c.h
, ppl_c.cc
- ppl_Constraint_System_has_strict_inequalities()
: ppl_c.h
, ppl_c.cc
- PPL_Constraint_System_inlines_hh
: Constraint_System.inlines.hh
- ppl_Constraint_System_insert_Constraint()
: ppl_c.h
, ppl_c.cc
- ppl_Constraint_System_OK()
: ppl_c.h
, ppl_c.cc
- ppl_Constraint_System_space_dimension()
: ppl_c.h
, ppl_c.cc
- PPL_Constraint_System_types_hh
: Constraint_System.types.hh
- ppl_Constraint_type()
: ppl_c.h
, ppl_c.cc
- PPL_CONSTRAINT_TYPE_EQUAL
: ppl_c.h
- PPL_CONSTRAINT_TYPE_GREATER_THAN
: ppl_c.h
- PPL_CONSTRAINT_TYPE_GREATER_THAN_OR_EQUAL
: ppl_c.h
- PPL_CONSTRAINT_TYPE_LESS_THAN
: ppl_c.h
- PPL_CONSTRAINT_TYPE_LESS_THAN_OR_EQUAL
: ppl_c.h
- PPL_Constraint_types_hh
: Constraint.types.hh
- PPL_DB_Matrix_defs_hh
: DB_Matrix.defs.hh
- PPL_DB_Matrix_inlines_hh
: DB_Matrix.inlines.hh
- PPL_DB_Matrix_types_hh
: DB_Matrix.types.hh
- PPL_DB_Row_defs_hh
: DB_Row.defs.hh
- PPL_DB_Row_inlines_hh
: DB_Row.inlines.hh
- PPL_DB_Row_types_hh
: DB_Row.types.hh
- PPL_DECLARE_PRINT_FUNCTIONS
: ppl_c.h
- ppl_delete_Coefficient()
: ppl_c.h
, ppl_c.cc
- ppl_delete_Constraint()
: ppl_c.h
, ppl_c.cc
- ppl_delete_Constraint_System()
: ppl_c.h
, ppl_c.cc
- ppl_delete_Constraint_System_const_iterator()
: ppl_c.h
, ppl_c.cc
- ppl_delete_Generator()
: ppl_c.h
, ppl_c.cc
- ppl_delete_Generator_System()
: ppl_c.h
, ppl_c.cc
- ppl_delete_Generator_System_const_iterator()
: ppl_c.h
, ppl_c.cc
- ppl_delete_Linear_Expression()
: ppl_c.h
, ppl_c.cc
- ppl_delete_LP_Problem()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_delete_Polyhedron()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- PPL_Determinate_inlines_hh
: Determinate.inlines.hh
- ppl_dimension_type
: ppl_c.h
- ppl_enum_Constraint_Type
: ppl_c.h
- ppl_enum_error_code
: ppl_c.h
- ppl_enum_Generator_Type
: ppl_c.h
- PPL_ERROR_DOMAIN_ERROR
: ppl_c.h
- PPL_ERROR_INTERNAL_ERROR
: ppl_c.h
- PPL_ERROR_INVALID_ARGUMENT
: ppl_c.h
- PPL_ERROR_LENGTH_ERROR
: ppl_c.h
- PPL_ERROR_OUT_OF_MEMORY
: ppl_c.h
- PPL_ERROR_UNEXPECTED_ERROR
: ppl_c.h
- PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION
: ppl_c.h
- ppl_finalize()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- PPL_Float_defs_hh
: Float.defs.hh
- PPL_Float_inlines_hh
: Float.inlines.hh
- ppl_Generator_coefficient()
: ppl_c.h
, ppl_c.cc
- PPL_Generator_defs_hh
: Generator.defs.hh
- ppl_Generator_divisor()
: ppl_c.h
, ppl_c.cc
- PPL_Generator_inlines_hh
: Generator.inlines.hh
- ppl_Generator_OK()
: ppl_c.h
, ppl_c.cc
- ppl_Generator_space_dimension()
: ppl_c.h
, ppl_c.cc
- ppl_Generator_System_begin()
: ppl_c.h
, ppl_c.cc
- ppl_Generator_System_clear()
: ppl_c.h
, ppl_c.cc
- ppl_Generator_System_const_iterator_dereference()
: ppl_c.h
, ppl_c.cc
- ppl_Generator_System_const_iterator_equal_test()
: ppl_c.h
, ppl_c.cc
- ppl_Generator_System_const_iterator_increment()
: ppl_c.h
, ppl_c.cc
- PPL_Generator_System_defs_hh
: Generator_System.defs.hh
- ppl_Generator_System_end()
: ppl_c.h
, ppl_c.cc
- PPL_Generator_System_inlines_hh
: Generator_System.inlines.hh
- ppl_Generator_System_insert_Generator()
: ppl_c.h
, ppl_c.cc
- ppl_Generator_System_OK()
: ppl_c.h
, ppl_c.cc
- ppl_Generator_System_space_dimension()
: ppl_c.h
, ppl_c.cc
- PPL_Generator_System_types_hh
: Generator_System.types.hh
- ppl_Generator_type()
: ppl_c.h
, ppl_c.cc
- PPL_GENERATOR_TYPE_CLOSURE_POINT
: ppl_c.h
- PPL_GENERATOR_TYPE_LINE
: ppl_c.h
- PPL_GENERATOR_TYPE_POINT
: ppl_c.h
- PPL_GENERATOR_TYPE_RAY
: ppl_c.h
- PPL_Generator_types_hh
: Generator.types.hh
- PPL_globals_defs_hh
: globals.defs.hh
- PPL_globals_inlines_hh
: globals.inlines.hh
- PPL_globals_types_hh
: globals.types.hh
- PPL_GMP_Integer_defs_hh
: GMP_Integer.defs.hh
- PPL_GMP_Integer_inlines_hh
: GMP_Integer.inlines.hh
- PPL_GMP_Integer_types_hh
: GMP_Integer.types.hh
- PPL_Grid_Certificate_defs_hh
: Grid_Certificate.defs.hh
- PPL_Grid_Certificate_inlines_hh
: Grid_Certificate.inlines.hh
- PPL_Grid_Certificate_types_hh
: Grid_Certificate.types.hh
- PPL_Grid_defs_hh
: Grid.defs.hh
- PPL_Grid_Generator_defs_hh
: Grid_Generator.defs.hh
- PPL_Grid_Generator_inlines_hh
: Grid_Generator.inlines.hh
- PPL_Grid_Generator_System_defs_hh
: Grid_Generator_System.defs.hh
- PPL_Grid_Generator_System_inlines_hh
: Grid_Generator_System.inlines.hh
- PPL_Grid_Generator_System_types_hh
: Grid_Generator_System.types.hh
- PPL_Grid_Generator_types_hh
: Grid_Generator.types.hh
- PPL_Grid_inlines_hh
: Grid.inlines.hh
- PPL_Grid_Status_defs_hh
: Grid.defs.hh
- PPL_Grid_templates_hh
: Grid.templates.hh
- PPL_Grid_types_hh
: Grid.types.hh
- PPL_H79_Certificate_defs_hh
: H79_Certificate.defs.hh
- PPL_H79_Certificate_inlines_hh
: H79_Certificate.inlines.hh
- PPL_H79_Certificate_types_hh
: H79_Certificate.types.hh
- PPL_IN_BD_Shape_CLASS
: BD_Shape.defs.hh
- PPL_IN_Grid_CLASS
: Grid.defs.hh
- PPL_IN_Polyhedron_CLASS
: Polyhedron.defs.hh
- PPL_Init_defs_hh
: Init.defs.hh
- PPL_Init_types_hh
: Init.types.hh
- ppl_initialize()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- PPL_initializer_hh
: initializer.hh
- PPL_Interval_defs_hh
: Interval.defs.hh
- PPL_Interval_inlines_hh
: Interval.inlines.hh
- PPL_Interval_types_hh
: Interval.types.hh
- ppl_io_fprint_variable()
: ppl_c.h
, ppl_c.cc
- ppl_io_get_variable_output_function()
: ppl_c.h
, ppl_c.cc
- ppl_io_print_variable()
: ppl_c.h
, ppl_c.cc
- ppl_io_set_variable_output_function()
: ppl_c.h
, ppl_c.cc
- ppl_io_variable_output_function_type
: ppl_c.h
- PPL_Limits_hh
: Limits.hh
- ppl_Linear_Expression_add_to_coefficient()
: ppl_c.h
, ppl_c.cc
- ppl_Linear_Expression_add_to_inhomogeneous()
: ppl_c.h
, ppl_c.cc
- ppl_Linear_Expression_coefficient()
: ppl_c.h
, ppl_c.cc
- PPL_Linear_Expression_defs_hh
: Linear_Expression.defs.hh
- ppl_Linear_Expression_inhomogeneous_term()
: ppl_c.h
, ppl_c.cc
- PPL_Linear_Expression_inlines_hh
: Linear_Expression.inlines.hh
- ppl_Linear_Expression_OK()
: ppl_c.h
, ppl_c.cc
- ppl_Linear_Expression_space_dimension()
: ppl_c.h
, ppl_c.cc
- PPL_Linear_Expression_types_hh
: Linear_Expression.types.hh
- PPL_Linear_Row_defs_hh
: Linear_Row.defs.hh
- PPL_Linear_Row_inlines_hh
: Linear_Row.inlines.hh
- PPL_Linear_Row_types_hh
: Linear_Row.types.hh
- PPL_Linear_System_defs_hh
: Linear_System.defs.hh
- PPL_Linear_System_inlines_hh
: Linear_System.inlines.hh
- PPL_Linear_System_types_hh
: Linear_System.types.hh
- ppl_LP_Problem_add_constraint()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_LP_Problem_add_constraints()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_LP_Problem_clear()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_LP_Problem_constraints()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- PPL_LP_Problem_defs_hh
: LP_Problem.defs.hh
- ppl_LP_Problem_evaluate_objective_function()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_LP_Problem_feasible_point()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- PPL_LP_Problem_inlines_hh
: LP_Problem.inlines.hh
- ppl_LP_Problem_is_satisfiable()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- PPL_LP_PROBLEM_MAXIMIZATION
: ppl_c.h
, ppl_c.cc
- PPL_LP_PROBLEM_MINIMIZATION
: ppl_c.h
, ppl_c.cc
- ppl_LP_Problem_objective_function()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_LP_Problem_OK()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_LP_Problem_optimal_value()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_LP_Problem_optimization_mode()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_LP_Problem_optimizing_point()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_LP_Problem_set_objective_function()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_LP_Problem_set_optimization_mode()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_LP_Problem_solve()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_LP_Problem_space_dimension()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- PPL_LP_PROBLEM_STATUS_OPTIMIZED
: ppl_c.h
, ppl_c.cc
- PPL_LP_PROBLEM_STATUS_UNBOUNDED
: ppl_c.h
, ppl_c.cc
- PPL_LP_PROBLEM_STATUS_UNFEASIBLE
: ppl_c.h
, ppl_c.cc
- ppl_LP_Problem_swap()
: ppl_prolog.icc
- PPL_LP_Problem_types_hh
: LP_Problem.types.hh
- PPL_Matrix_defs_hh
: Matrix.defs.hh
- PPL_Matrix_inlines_hh
: Matrix.inlines.hh
- PPL_Matrix_types_hh
: Matrix.types.hh
- ppl_max_space_dimension()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_multiply_Linear_Expression_by_Coefficient()
: ppl_c.h
, ppl_c.cc
- PPL_namespaces_hh
: namespaces.hh
- ppl_new_C_Polyhedron_empty_from_dimension()
: ppl_c.h
, ppl_c.cc
- ppl_new_C_Polyhedron_from_bounding_box()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_new_C_Polyhedron_from_C_Polyhedron()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_new_C_Polyhedron_from_Constraint_System()
: ppl_c.h
, ppl_c.cc
- ppl_new_C_Polyhedron_from_constraints()
: ppl_prolog.icc
- ppl_new_C_Polyhedron_from_dimension()
: ppl_c.h
, ppl_c.cc
- ppl_new_C_Polyhedron_from_Generator_System()
: ppl_c.h
, ppl_c.cc
- ppl_new_C_Polyhedron_from_generators()
: ppl_prolog.icc
- ppl_new_C_Polyhedron_from_NNC_Polyhedron()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_new_C_Polyhedron_from_space_dimension()
: ppl_prolog.icc
- ppl_new_C_Polyhedron_recycle_Constraint_System()
: ppl_c.h
, ppl_c.cc
- ppl_new_C_Polyhedron_recycle_Generator_System()
: ppl_c.h
, ppl_c.cc
- ppl_new_Coefficient()
: ppl_c.h
, ppl_c.cc
- ppl_new_Coefficient_from_Coefficient()
: ppl_c.h
, ppl_c.cc
- ppl_new_Coefficient_from_mpz_t()
: ppl_c.h
, ppl_c.cc
- ppl_new_Constraint()
: ppl_c.h
, ppl_c.cc
- ppl_new_Constraint_from_Constraint()
: ppl_c.h
, ppl_c.cc
- ppl_new_Constraint_System()
: ppl_c.h
, ppl_c.cc
- ppl_new_Constraint_System_const_iterator()
: ppl_c.h
, ppl_c.cc
- ppl_new_Constraint_System_const_iterator_from_Constraint_System_const_iterator()
: ppl_c.h
, ppl_c.cc
- ppl_new_Constraint_System_from_Constraint()
: ppl_c.h
, ppl_c.cc
- ppl_new_Constraint_System_from_Constraint_System()
: ppl_c.h
, ppl_c.cc
- ppl_new_Constraint_System_zero_dim_empty()
: ppl_c.h
, ppl_c.cc
- ppl_new_Constraint_zero_dim_false()
: ppl_c.h
, ppl_c.cc
- ppl_new_Constraint_zero_dim_positivity()
: ppl_c.h
, ppl_c.cc
- ppl_new_Generator()
: ppl_c.h
, ppl_c.cc
- ppl_new_Generator_from_Generator()
: ppl_c.h
, ppl_c.cc
- ppl_new_Generator_System()
: ppl_c.h
, ppl_c.cc
- ppl_new_Generator_System_const_iterator()
: ppl_c.h
, ppl_c.cc
- ppl_new_Generator_System_const_iterator_from_Generator_System_const_iterator()
: ppl_c.h
, ppl_c.cc
- ppl_new_Generator_System_from_Generator()
: ppl_c.h
, ppl_c.cc
- ppl_new_Generator_System_from_Generator_System()
: ppl_c.h
, ppl_c.cc
- ppl_new_Generator_System_zero_dim_univ()
: ppl_c.h
, ppl_c.cc
- ppl_new_Generator_zero_dim_closure_point()
: ppl_c.h
, ppl_c.cc
- ppl_new_Generator_zero_dim_point()
: ppl_c.h
, ppl_c.cc
- ppl_new_Linear_Expression()
: ppl_c.h
, ppl_c.cc
- ppl_new_Linear_Expression_from_Constraint()
: ppl_c.h
, ppl_c.cc
- ppl_new_Linear_Expression_from_Generator()
: ppl_c.h
, ppl_c.cc
- ppl_new_Linear_Expression_from_Linear_Expression()
: ppl_c.h
, ppl_c.cc
- ppl_new_Linear_Expression_with_dimension()
: ppl_c.h
, ppl_c.cc
- ppl_new_LP_Problem()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_new_LP_Problem_from_LP_Problem()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_new_LP_Problem_trivial()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_new_NNC_Polyhedron_empty_from_dimension()
: ppl_c.h
, ppl_c.cc
- ppl_new_NNC_Polyhedron_from_bounding_box()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_new_NNC_Polyhedron_from_C_Polyhedron()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_new_NNC_Polyhedron_from_Constraint_System()
: ppl_c.h
, ppl_c.cc
- ppl_new_NNC_Polyhedron_from_constraints()
: ppl_prolog.icc
- ppl_new_NNC_Polyhedron_from_dimension()
: ppl_c.h
, ppl_c.cc
- ppl_new_NNC_Polyhedron_from_Generator_System()
: ppl_c.h
, ppl_c.cc
- ppl_new_NNC_Polyhedron_from_generators()
: ppl_prolog.icc
- ppl_new_NNC_Polyhedron_from_NNC_Polyhedron()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_new_NNC_Polyhedron_from_space_dimension()
: ppl_prolog.icc
- ppl_new_NNC_Polyhedron_recycle_Constraint_System()
: ppl_c.h
, ppl_c.cc
- ppl_new_NNC_Polyhedron_recycle_Generator_System()
: ppl_c.h
, ppl_c.cc
- PPL_NNC_Polyhedron_defs_hh
: NNC_Polyhedron.defs.hh
- PPL_NNC_Polyhedron_inlines_hh
: NNC_Polyhedron.inlines.hh
- PPL_NNC_Polyhedron_types_hh
: NNC_Polyhedron.types.hh
- PPL_NOISY_SIMPLEX
: LP_Problem.cc
- ppl_not_a_dimension()
: ppl_c.h
, ppl_c.cc
- PPL_OUTPUT_DECLARATIONS
: globals.defs.hh
- PPL_OUTPUT_DEFINITIONS
: globals.defs.hh
, Constraint.cc
, Congruence.cc
, Generator.cc
, Grid_Generator.cc
, Constraint_System.cc
, Congruence_System.cc
, Generator_System.cc
, Grid_Generator_System.cc
, Polyhedron_public.cc
, Grid_public.cc
, Poly_Con_Relation.cc
, Poly_Gen_Relation.cc
- PPL_OUTPUT_DEFINITIONS_ASCII_ONLY()
: LP_Problem.cc
, Linear_Row.cc
, globals.defs.hh
, Row.cc
, Matrix.cc
, Linear_Row.cc
, Linear_System.cc
, Saturation_Matrix.cc
, Ph_Status.cc
- PPL_OUTPUT_TEMPLATE_DEFINITIONS
: globals.defs.hh
- PPL_OUTPUT_TEMPLATE_DEFINITIONS_ASCII_ONLY
: globals.defs.hh
- PPL_Poly_Con_Relation_defs_hh
: Poly_Con_Relation.defs.hh
- PPL_Poly_Con_Relation_inlines_hh
: Poly_Con_Relation.inlines.hh
- PPL_POLY_CON_RELATION_IS_DISJOINT
: ppl_c.h
, ppl_c.cc
- PPL_POLY_CON_RELATION_IS_INCLUDED
: ppl_c.h
, ppl_c.cc
- PPL_POLY_CON_RELATION_SATURATES
: ppl_c.h
, ppl_c.cc
- PPL_POLY_CON_RELATION_STRICTLY_INTERSECTS
: ppl_c.cc
, ppl_c.h
- PPL_Poly_Con_Relation_types_hh
: Poly_Con_Relation.types.hh
- PPL_Poly_Gen_Relation_defs_hh
: Poly_Gen_Relation.defs.hh
- PPL_Poly_Gen_Relation_inlines_hh
: Poly_Gen_Relation.inlines.hh
- PPL_POLY_GEN_RELATION_SUBSUMES
: ppl_c.h
, ppl_c.cc
- PPL_Poly_Gen_Relation_types_hh
: Poly_Gen_Relation.types.hh
- PPL_Polyhedra_Powerset_inlines_hh
: Polyhedra_Powerset.inlines.hh
- PPL_Polyhedra_Powerset_templates_hh
: Polyhedra_Powerset.templates.hh
- PPL_Polyhedra_Powerset_types_hh
: Polyhedra_Powerset.types.hh
- ppl_Polyhedron_add_constraint()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_Polyhedron_add_constraint_and_minimize()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_Polyhedron_add_constraints()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_Polyhedron_add_constraints_and_minimize()
: ppl_c.h
, ppl_prolog.icc
, ppl_c.cc
- ppl_Polyhedron_add_generator()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_Polyhedron_add_generator_and_minimize()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_Polyhedron_add_generators()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_Polyhedron_add_generators_and_minimize()
: ppl_c.h
, ppl_prolog.icc
, ppl_c.cc
- ppl_Polyhedron_add_recycled_constraints()
: ppl_c.h
, ppl_c.cc
- ppl_Polyhedron_add_recycled_constraints_and_minimize()
: ppl_c.cc
, ppl_c.h
- ppl_Polyhedron_add_recycled_generators()
: ppl_c.h
, ppl_c.cc
- ppl_Polyhedron_add_recycled_generators_and_minimize()
: ppl_c.cc
, ppl_c.h
- ppl_Polyhedron_add_space_dimensions_and_embed()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_Polyhedron_add_space_dimensions_and_project()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_Polyhedron_affine_dimension()
: ppl_c.cc
, ppl_prolog.icc
, ppl_c.h
- ppl_Polyhedron_affine_image()
: ppl_c.h
, ppl_prolog.icc
, ppl_c.cc
- ppl_Polyhedron_affine_preimage()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_Polyhedron_BHRZ03_widening_assign()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_Polyhedron_BHRZ03_widening_assign_with_token()
: ppl_prolog.icc
- ppl_Polyhedron_BHRZ03_widening_assign_with_tokens()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_Polyhedron_bounded_affine_image()
: ppl_c.cc
, ppl_prolog.icc
, ppl_c.h
- ppl_Polyhedron_bounded_affine_preimage()
: ppl_c.h
, ppl_prolog.icc
, ppl_c.cc
- ppl_Polyhedron_bounded_BHRZ03_extrapolation_assign()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_Polyhedron_bounded_BHRZ03_extrapolation_assign_with_tokens()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_Polyhedron_bounded_H79_extrapolation_assign()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_Polyhedron_bounded_H79_extrapolation_assign_with_tokens()
: ppl_c.h
, ppl_prolog.icc
, ppl_c.cc
- ppl_Polyhedron_bounds_from_above()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_Polyhedron_bounds_from_below()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_Polyhedron_concatenate_assign()
: ppl_c.cc
, ppl_prolog.icc
, ppl_c.h
- ppl_Polyhedron_constraints()
: ppl_c.h
, ppl_c.cc
- ppl_Polyhedron_contains_Polyhedron()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- PPL_Polyhedron_defs_hh
: Polyhedron.defs.hh
- ppl_Polyhedron_equals_Polyhedron()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_Polyhedron_expand_space_dimension()
: ppl_c.cc
, ppl_prolog.icc
, ppl_c.h
- ppl_Polyhedron_fold_space_dimensions()
: ppl_c.h
, ppl_prolog.icc
, ppl_c.cc
- ppl_Polyhedron_generalized_affine_image()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_Polyhedron_generalized_affine_image_lhs_rhs()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_Polyhedron_generalized_affine_preimage()
: ppl_c.cc
, ppl_prolog.icc
, ppl_c.h
- ppl_Polyhedron_generalized_affine_preimage_lhs_rhs()
: ppl_c.h
, ppl_prolog.icc
, ppl_c.cc
- ppl_Polyhedron_generators()
: ppl_c.h
, ppl_c.cc
- ppl_Polyhedron_get_bounding_box()
: ppl_prolog.icc
- ppl_Polyhedron_get_constraints()
: ppl_prolog.icc
- ppl_Polyhedron_get_generators()
: ppl_prolog.icc
- ppl_Polyhedron_get_minimized_constraints()
: ppl_prolog.icc
- ppl_Polyhedron_get_minimized_generators()
: ppl_prolog.icc
- ppl_Polyhedron_H79_widening_assign()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_Polyhedron_H79_widening_assign_with_tokens()
: ppl_c.cc
, ppl_prolog.icc
, ppl_c.h
- PPL_Polyhedron_inlines_hh
: Polyhedron.inlines.hh
- ppl_Polyhedron_intersection_assign()
: ppl_c.cc
, ppl_prolog.icc
, ppl_c.h
- ppl_Polyhedron_intersection_assign_and_minimize()
: ppl_c.h
, ppl_prolog.icc
, ppl_c.cc
- ppl_Polyhedron_is_bounded()
: ppl_prolog.icc
, ppl_c.h
, ppl_c.cc
- ppl_Polyhedron_is_disjoint_from_Polyhedron()
: ppl_prolog.icc
, ppl_c.h
, ppl_c.cc
- ppl_Polyhedron_is_empty()
: ppl_c.h
, ppl_prolog.icc
, ppl_c.cc
- ppl_Polyhedron_is_topologically_closed()
: ppl_c.cc
, ppl_c.h
, ppl_prolog.icc
- ppl_Polyhedron_is_universe()
: ppl_c.cc
, ppl_prolog.icc
, ppl_c.h
- ppl_Polyhedron_limited_BHRZ03_extrapolation_assign()
: ppl_prolog.icc
, ppl_c.h
, ppl_c.cc
- ppl_Polyhedron_limited_BHRZ03_extrapolation_assign_with_tokens()
: ppl_prolog.icc
, ppl_c.h
, ppl_c.cc
- ppl_Polyhedron_limited_H79_extrapolation_assign()
: ppl_c.cc
, ppl_prolog.icc
, ppl_c.h
- ppl_Polyhedron_limited_H79_extrapolation_assign_with_tokens()
: ppl_prolog.icc
, ppl_c.cc
, ppl_c.h
- ppl_Polyhedron_map_space_dimensions()
: ppl_prolog.icc
, ppl_c.h
, ppl_c.cc
- ppl_Polyhedron_maximize()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_Polyhedron_maximize_with_point()
: ppl_prolog.icc
- ppl_Polyhedron_minimize()
: ppl_prolog.icc
, ppl_c.h
, ppl_c.cc
- ppl_Polyhedron_minimize_with_point()
: ppl_prolog.icc
- ppl_Polyhedron_minimized_constraints()
: ppl_c.h
, ppl_c.cc
- ppl_Polyhedron_minimized_generators()
: ppl_c.cc
, ppl_c.h
- ppl_Polyhedron_OK()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_Polyhedron_poly_difference_assign()
: ppl_c.cc
, ppl_prolog.icc
, ppl_c.h
- ppl_Polyhedron_poly_hull_assign()
: ppl_prolog.icc
, ppl_c.h
, ppl_c.cc
- ppl_Polyhedron_poly_hull_assign_and_minimize()
: ppl_c.cc
, ppl_c.h
, ppl_prolog.icc
- ppl_Polyhedron_relation_with_Constraint()
: ppl_c.h
, ppl_c.cc
- ppl_Polyhedron_relation_with_constraint()
: ppl_prolog.icc
- ppl_Polyhedron_relation_with_Generator()
: ppl_c.cc
, ppl_c.h
- ppl_Polyhedron_relation_with_generator()
: ppl_prolog.icc
- ppl_Polyhedron_remove_higher_space_dimensions()
: ppl_c.cc
, ppl_prolog.icc
, ppl_c.h
- ppl_Polyhedron_remove_space_dimensions()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- ppl_Polyhedron_shrink_bounding_box()
: ppl_c.cc
, ppl_c.h
- ppl_Polyhedron_space_dimension()
: ppl_c.cc
, ppl_c.h
, ppl_prolog.icc
- ppl_Polyhedron_strictly_contains_Polyhedron()
: ppl_c.h
, ppl_prolog.icc
, ppl_c.cc
- ppl_Polyhedron_swap()
: ppl_prolog.icc
- PPL_Polyhedron_templates_hh
: Polyhedron.templates.hh
- ppl_Polyhedron_time_elapse_assign()
: ppl_prolog.icc
, ppl_c.h
, ppl_c.cc
- ppl_Polyhedron_topological_closure_assign()
: ppl_prolog.icc
, ppl_c.h
, ppl_c.cc
- PPL_Polyhedron_types_hh
: Polyhedron.types.hh
- PPL_Powerset_inlines_hh
: Powerset.inlines.hh
- PPL_Powerset_templates_hh
: Powerset.templates.hh
- PPL_ppl_c_h
: ppl_c.h
- ppl_Prolog_sysdep_deinit()
: ppl_gprolog_sd.cc
, ppl_swiprolog.cc
, ppl_yap.cc
, ppl_sicstus_sd.cc
, ppl_ciao.cc
- ppl_Prolog_sysdep_init()
: ppl_ciao.cc
, ppl_yap.cc
, ppl_gprolog_sd.cc
, ppl_sicstus_sd.cc
, ppl_swiprolog.cc
- PPL_PROTO
: ppl_c.h
- ppl_reset_timeout()
: ppl_prolog.icc
- PPL_Row_defs_hh
: Row.defs.hh
- PPL_Row_inlines_hh
: Row.inlines.hh
- PPL_Row_types_hh
: Row.types.hh
- PPL_Saturation_Matrix_defs_hh
: Saturation_Matrix.defs.hh
- PPL_Saturation_Matrix_inlines_hh
: Saturation_Matrix.inlines.hh
- PPL_Saturation_Matrix_types_hh
: Saturation_Matrix.types.hh
- PPL_Saturation_Row_defs_hh
: Saturation_Row.defs.hh
- PPL_Saturation_Row_inlines_hh
: Saturation_Row.inlines.hh
- PPL_Saturation_Row_types_hh
: Saturation_Row.types.hh
- PPL_Scalar_Products_defs_hh
: Scalar_Products.defs.hh
- PPL_Scalar_Products_inlines_hh
: Scalar_Products.inlines.hh
- PPL_Scalar_Products_types_hh
: Scalar_Products.types.hh
- ppl_set_error_handler()
: ppl_c.cc
, ppl_c.h
- ppl_set_timeout()
: ppl_prolog.icc
- ppl_set_timeout_exception_atom()
: ppl_prolog.icc
- ppl_sicstus_deinit()
: ppl_sicstus_sd.cc
- ppl_sicstus_init()
: ppl_sicstus_sd.cc
- PPL_SIMPLEX_ENABLE_STEEPEST_EDGE
: LP_Problem.cc
- PPL_Status_defs_hh
: Ph_Status.idefs.hh
, Polyhedron.defs.hh
- PPL_Status_inlines_hh
: Ph_Status.inlines.hh
- PPL_STDIO_ERROR
: ppl_c.h
- PPL_STR
: globals.defs.hh
- ppl_subtract_Linear_Expression_from_Linear_Expression()
: ppl_c.cc
, ppl_c.h
- ppl_timeout_exception_atom()
: ppl_prolog.icc
- PPL_Topology_hh
: Topology.hh
- PPL_TYPE_DECLARATION()
: ppl_c.h
- PPL_Variable_defs_hh
: Variable.defs.hh
- PPL_Variable_inlines_hh
: Variable.inlines.hh
- PPL_Variable_types_hh
: Variable.types.hh
- PPL_VERSION
: ppl_c.h
- ppl_version()
: ppl_c.cc
- PPL_VERSION
: version.hh
- ppl_version()
: ppl_c.h
, ppl_prolog.icc
- ppl_version_beta()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- PPL_VERSION_BETA
: version.hh
, ppl_c.h
- PPL_version_hh
: version.hh
- ppl_version_major()
: ppl_prolog.icc
- PPL_VERSION_MAJOR
: version.hh
, ppl_c.h
- ppl_version_major()
: ppl_c.h
, ppl_c.cc
- ppl_version_minor()
: ppl_c.h
, ppl_prolog.icc
- PPL_VERSION_MINOR
: version.hh
, ppl_c.h
- ppl_version_minor()
: ppl_c.cc
- PPL_VERSION_REVISION
: ppl_c.h
, version.hh
- ppl_version_revision()
: ppl_c.h
, ppl_c.cc
, ppl_prolog.icc
- PPL_Widening_Function_defs_hh
: Widening_Function.defs.hh
- PPL_Widening_Function_inlines_hh
: Widening_Function.inlines.hh
- PPL_Widening_Function_types_hh
: Widening_Function.types.hh
- PPL_XSTR
: globals.defs.hh
- predicates
: ppl_swiprolog.cc
- print_dim_kinds
: Grid.defs.hh
- Prolog_atom
: ppl_ciao.cc
, ppl_swiprolog.cc
, ppl_gprolog_sd.cc
, ppl_yap.cc
- Prolog_atom_from_string()
: ppl_gprolog_sd.cc
, ppl_swiprolog.cc
, ppl_ciao.cc
, ppl_yap.cc
- Prolog_atom_term_from_string()
: ppl_prolog.icc
- prolog_atoms
: ppl_prolog.icc
- Prolog_construct_compound()
: ppl_gprolog_sd.cc
, ppl_yap.cc
, ppl_gprolog_sd.cc
, ppl_swiprolog.cc
, ppl_ciao.cc
, ppl_swiprolog.cc
, ppl_ciao.cc
, ppl_gprolog_sd.cc
, ppl_swiprolog.cc
, ppl_ciao.cc
, ppl_yap.cc
- Prolog_construct_cons()
: ppl_gprolog_sd.cc
, ppl_ciao.cc
, ppl_swiprolog.cc
, ppl_yap.cc
- PROLOG_FAILURE
: ppl_gprolog_sd.cc
, ppl_yap.cc
, ppl_ciao.cc
, ppl_swiprolog.cc
- Prolog_foreign_return_type
: ppl_gprolog_sd.cc
, ppl_swiprolog.cc
, ppl_ciao.cc
, ppl_yap.cc
- Prolog_get_address()
: ppl_ciao.cc
, ppl_gprolog_sd.cc
, ppl_swiprolog.cc
, ppl_yap.cc
- Prolog_get_arg()
: ppl_gprolog_sd.cc
, ppl_swiprolog.cc
, ppl_ciao.cc
, ppl_yap.cc
- Prolog_get_atom_name()
: ppl_gprolog_sd.cc
, ppl_swiprolog.cc
, ppl_ciao.cc
, ppl_yap.cc
- Prolog_get_compound_name_arity()
: ppl_gprolog_sd.cc
, ppl_swiprolog.cc
, ppl_ciao.cc
, ppl_yap.cc
- Prolog_get_cons()
: ppl_gprolog_sd.cc
, ppl_yap.cc
, ppl_ciao.cc
, ppl_swiprolog.cc
- Prolog_get_long()
: ppl_ciao.cc
, ppl_swiprolog.cc
, ppl_yap.cc
, ppl_gprolog_sd.cc
- Prolog_has_unbounded_integers
: ppl_yap.cc
, ppl_sicstus_sd.cc
, ppl_gprolog_sd.cc
, ppl_swiprolog.cc
, ppl_ciao.cc
- Prolog_interface_initialized
: ppl_prolog.icc
- Prolog_is_address()
: ppl_swiprolog.cc
, ppl_ciao.cc
, ppl_gprolog_sd.cc
, ppl_yap.cc
- Prolog_is_atom()
: ppl_gprolog_sd.cc
, ppl_ciao.cc
, ppl_yap.cc
, ppl_swiprolog.cc
- Prolog_is_compound()
: ppl_yap.cc
, ppl_swiprolog.cc
, ppl_ciao.cc
, ppl_gprolog_sd.cc
- Prolog_is_cons()
: ppl_yap.cc
, ppl_swiprolog.cc
, ppl_gprolog_sd.cc
, ppl_ciao.cc
- Prolog_is_integer()
: ppl_ciao.cc
, ppl_swiprolog.cc
, ppl_yap.cc
, ppl_gprolog_sd.cc
- Prolog_is_variable()
: ppl_yap.cc
, ppl_ciao.cc
, ppl_swiprolog.cc
, ppl_gprolog_sd.cc
- Prolog_max_integer
: ppl_yap.cc
, ppl_sicstus_sd.cc
, ppl_ciao.cc
, ppl_swiprolog.cc
, ppl_gprolog_sd.cc
- Prolog_min_integer
: ppl_ciao.cc
, ppl_sicstus_sd.cc
, ppl_swiprolog.cc
, ppl_gprolog_sd.cc
, ppl_yap.cc
- Prolog_new_term_ref()
: ppl_yap.cc
, ppl_ciao.cc
, ppl_swiprolog.cc
, ppl_gprolog_sd.cc
- Prolog_put_address()
: ppl_yap.cc
, ppl_gprolog_sd.cc
, ppl_swiprolog.cc
, ppl_ciao.cc
- Prolog_put_atom()
: ppl_swiprolog.cc
, ppl_yap.cc
, ppl_ciao.cc
, ppl_gprolog_sd.cc
- Prolog_put_atom_chars()
: ppl_gprolog_sd.cc
, ppl_swiprolog.cc
, ppl_yap.cc
, ppl_ciao.cc
- Prolog_put_long()
: ppl_swiprolog.cc
, ppl_gprolog_sd.cc
, ppl_ciao.cc
, ppl_yap.cc
- Prolog_put_term()
: ppl_ciao.cc
, ppl_yap.cc
, ppl_gprolog_sd.cc
, ppl_swiprolog.cc
- Prolog_put_ulong()
: ppl_gprolog_sd.cc
, ppl_swiprolog.cc
, ppl_ciao.cc
, ppl_yap.cc
- Prolog_raise_exception()
: ppl_gprolog_sd.cc
, ppl_ciao.cc
, ppl_yap.cc
, ppl_swiprolog.cc
- PROLOG_SUCCESS
: ppl_ciao.cc
, ppl_gprolog_sd.cc
, ppl_yap.cc
, ppl_swiprolog.cc
- Prolog_term_ref
: ppl_gprolog_sd.cc
, ppl_ciao.cc
, ppl_swiprolog.cc
, ppl_yap.cc
- PROLOG_TRACK_ALLOCATION
: track_allocation.hh
- Prolog_unify()
: ppl_yap.cc
, ppl_gprolog_sd.cc
, ppl_ciao.cc
, ppl_swiprolog.cc