PPL Configured Prolog Language Interface

o*Prolog Language Interface

o+Modules

o+Class List

|o*Parma_Polyhedra_Library::Interfaces::Prolog::deterministic_timeout_exception

|o*Parma_Polyhedra_Library::Interfaces::Prolog::internal_exception

|o*Parma_Polyhedra_Library::Interfaces::Prolog::non_linear

|o*Parma_Polyhedra_Library::Interfaces::Prolog::not_a_boolean

|o*Parma_Polyhedra_Library::Interfaces::Prolog::not_a_bounded_integer_type_overflow

|o*Parma_Polyhedra_Library::Interfaces::Prolog::not_a_bounded_integer_type_representation

|o*Parma_Polyhedra_Library::Interfaces::Prolog::not_a_bounded_integer_type_width

|o*Parma_Polyhedra_Library::Interfaces::Prolog::not_a_complexity_class

|o*Parma_Polyhedra_Library::Interfaces::Prolog::not_a_control_parameter_name

|o*Parma_Polyhedra_Library::Interfaces::Prolog::not_a_control_parameter_value

|o*Parma_Polyhedra_Library::Interfaces::Prolog::not_a_nil_terminated_list

|o*Parma_Polyhedra_Library::Interfaces::Prolog::not_a_pip_problem_control_parameter_name

|o*Parma_Polyhedra_Library::Interfaces::Prolog::not_a_pip_problem_control_parameter_value

|o*Parma_Polyhedra_Library::Interfaces::Prolog::not_a_relation

|o*Parma_Polyhedra_Library::Interfaces::Prolog::not_a_variable

|o*Parma_Polyhedra_Library::Interfaces::Prolog::not_an_integer

|o*Parma_Polyhedra_Library::Interfaces::Prolog::not_an_optimization_mode

|o*Parma_Polyhedra_Library::Interfaces::Prolog::not_universe_or_empty

|o*Parma_Polyhedra_Library::Interfaces::Prolog::not_unsigned_integer

|o*Parma_Polyhedra_Library::Interfaces::Prolog::ppl_handle_mismatch

|o*Parma_Polyhedra_Library::Interfaces::Prolog::PPL_integer_out_of_range

|o*Parma_Polyhedra_Library::Interfaces::Prolog::Prolog_Interface_Atom

|o*Parma_Polyhedra_Library::Interfaces::Prolog::Prolog_unsigned_out_of_range

|o*Parma_Polyhedra_Library::Interfaces::Prolog::timeout_exception

|\*Parma_Polyhedra_Library::Interfaces::Prolog::unknown_interface_error

o+Class Hierarchy

|o+Parma_Polyhedra_Library::Interfaces::Prolog::internal_exception

|o*Parma_Polyhedra_Library::Interfaces::Prolog::PPL_integer_out_of_range

|o*Parma_Polyhedra_Library::Interfaces::Prolog::Prolog_Interface_Atom

|o+Parma_Polyhedra_Library::Throwable [external]

|\*Parma_Polyhedra_Library::Interfaces::Prolog::unknown_interface_error

o*Class Members

o*Graphical Class Hierarchy

o+File List

\*File Members