22 |
# define CONFLICTS_H_ |
# define CONFLICTS_H_ |
23 |
# include "state.h" |
# include "state.h" |
24 |
|
|
25 |
void conflicts_solve PARAMS ((void)); |
void conflicts_solve (void); |
26 |
void conflicts_print PARAMS ((void)); |
void conflicts_print (void); |
27 |
int conflicts_total_count PARAMS ((void)); |
int conflicts_total_count (void); |
28 |
void conflicts_output PARAMS ((FILE *out)); |
void conflicts_output (FILE *out); |
29 |
void conflicts_free PARAMS ((void)); |
void conflicts_free (void); |
30 |
|
|
31 |
/* Were there conflicts? */ |
/* Were there conflicts? */ |
32 |
extern int expected_conflicts; |
extern int expected_conflicts; |