Candl  0.6.1
pruning.h
Go to the documentation of this file.
00001 
00041 #ifndef CANDL_PRUNING_H
00042 # define CANDL_PRUNING_H
00043 
00044 
00045 # include <stdio.h>
00046 # include <candl/statement.h>
00047 # include <candl/matrix.h>
00048 # include <candl/program.h>
00049 # include <candl/options.h>
00050 # include <candl/matrix.h>
00051 
00052 
00053 # if defined(__cplusplus)
00054 extern "C"
00055   {
00056 # endif
00057 
00058 CandlDependence*
00059 candl_dependence_prune_transitively_covered (CandlDependence* deps);
00060 
00061 # if defined(__cplusplus)
00062   }
00063 # endif
00064 #endif /* define CANDL_PRUNING_H */
00065