Candl  0.6.1
matrix.h
Go to the documentation of this file.
00001 
00037 #ifndef CANDL_MATRIX_H
00038 # define CANDL_MATRIX_H
00039 
00040 # include <stdio.h>
00041 # include <piplib/piplib.h>
00042 
00043 # ifdef LINEAR_VALUE_IS_LONG
00044 #  define CLAN_INT_T_IS_LONG
00045 # endif
00046 # ifdef LINEAR_VALUE_IS_LONGLONG
00047 #  define CLAN_INT_T_IS_LONGLONG
00048 # endif
00049 # ifdef LINEAR_VALUE_IS_MP
00050 #  define CLAN_INT_T_IS_MP
00051 # endif
00052 
00053 # if defined(__cplusplus)
00054 extern "C"
00055   {
00056 # endif
00057 
00058 
00074 typedef PipMatrix CandlMatrix;
00075 
00076 
00081 struct candlmatrixlist
00082 { CandlMatrix * matrix;         
00083   struct candlmatrixlist * next;
00084 };
00085 typedef struct candlmatrixlist CandlMatrixList;
00086 
00087 
00088 /******************************************************************************
00089  *                          Structure display function                        *
00090  ******************************************************************************/
00091 void candl_matrix_print_structure(FILE *, CandlMatrix *, int);
00092 void candl_matrix_print(FILE *, CandlMatrix *);
00093 void candl_matrix_print_data(FILE *, CandlMatrix *);
00094 void candl_matrix_list_print_structure(FILE *, CandlMatrixList *, int);
00095 void candl_matrix_list_print(FILE *, CandlMatrixList *);
00096 
00097 /******************************************************************************
00098  *                         Memory deallocation function                       *
00099  ******************************************************************************/
00100 void candl_matrix_free(CandlMatrix *);
00101 void candl_matrix_list_free(CandlMatrixList *);
00102 
00103 
00104 /******************************************************************************
00105  *                              Reading functions                             *
00106  ******************************************************************************/
00107 CandlMatrix * candl_matrix_read(FILE *);
00108 CandlMatrixList * candl_matrix_list_read(FILE *);
00109 
00110 
00111 /******************************************************************************
00112  *                            Processing functions                            *
00113  ******************************************************************************/
00114 CandlMatrix     * candl_matrix_malloc(int, int);
00115 CandlMatrixList * candl_matrix_list_malloc();
00116 CandlMatrix     * candl_matrix_violation(CandlMatrix  *, CandlMatrix  *,
00117                                          CandlMatrix  *, int, int);
00118 int             candl_matrix_check_point (CandlMatrix* , CandlMatrix* );
00119 
00120 # if defined(__cplusplus)
00121   }
00122 # endif
00123 #endif /* define CANDL_DEPENDENCE_H */
00124