count_solutions.h

   1 /* Erin Parker (parker@cs.unc.edu), March 2004 */
   2
   3 #include <stdlib.h>
   4
   5 #ifdef __cplusplus
   6 extern "C" {
   7 #endif
   8
   9 #include "dfa.h"
  10
  11 /* Functions defined in construction.c */
  12 DFA* build_DFA_eq(int, int*, int, int*);
  13 DFA* build_DFA_ineq(int, int*, int, int*);
  14
  15 /* Function defined in count.c */
  16 double count_accepting_paths(DFA*, int, int);
  17
  18 #ifdef __cplusplus
  19 }
  20 #endif
  21
  22 double count_solutions(Relation& r);