Here is a list of all files with brief descriptions:

Artificial_Parameter.java
Artificial_Parameter_Sequence.java
Bounded_Integer_Type_Overflow.java
Bounded_Integer_Type_Representation.java
Bounded_Integer_Type_Width.java
By_Reference.java
Coefficient.java
Complexity_Class.java
Congruence.java
Congruence_System.java
Constraint.java
Constraint_System.java
Control_Parameter_Name.java
Control_Parameter_Value.java
Degenerate_Element.java
Domain_Error_Exception.java
Fake_Class_for_Doxygen.java
Generator.java
Generator_System.java
Generator_Type.java
Grid_Generator.java
Grid_Generator_System.java
Grid_Generator_Type.java
Invalid_Argument_Exception.java
IO.java
Length_Error_Exception.java
Linear_Expression.java
Linear_Expression_Coefficient.java
Linear_Expression_Difference.java
Linear_Expression_Sum.java
Linear_Expression_Times.java
Linear_Expression_Unary_Minus.java
Linear_Expression_Variable.java
Logic_Error_Exception.java
MIP_Problem.java
MIP_Problem_Status.java
Optimization_Mode.java
Overflow_Error_Exception.java
Pair.java
Parma_Polyhedra_Library.java
Partial_Function.java
PIP_Decision_Node.java
PIP_Problem.java
PIP_Problem_Control_Parameter_Name.java
PIP_Problem_Control_Parameter_Value.java
PIP_Problem_Status.java
PIP_Solution_Node.java
PIP_Tree_Node.java
Poly_Con_Relation.java
Poly_Gen_Relation.java
ppl_java_common.cc
ppl_java_common_defs.hh
ppl_java_common_inlines.hh
ppl_java_globals.cc
PPL_Object.java
Relation_Symbol.java
Timeout_Exception.java
Variable.java
Variable_Stringifier.java
Variables_Set.java