Candl
0.6.1
|
00001 00041 #ifndef CANDL_PIPLIB_WRAPPER_H 00042 # define CANDL_PIPLIB_WRAPPER_H 00043 00044 00045 # include <stdio.h> 00046 # include <candl/matrix.h> 00047 00048 00049 00050 # if defined(__cplusplus) 00051 extern "C" 00052 { 00053 # endif 00054 00055 00056 int 00057 pip_has_rational_point(PipMatrix* system, 00058 PipMatrix* context, 00059 int conservative); 00060 00061 00062 # if defined(__cplusplus) 00063 } 00064 # endif 00065 #endif /* define CANDL_PIPLIB_WRAPPER_H */ 00066