Candl
0.6.1
|
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