Candl  0.6.1
piplib-wrapper.h
Go to the documentation of this file.
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