black_white.cpp: In function ‘int alloc_list(int)’:
black_white.cpp:38: warning: deprecated conversion from string constant to ‘char*’
black_white.cpp: In function ‘int alloc_stack(int)’:
black_white.cpp:134: warning: deprecated conversion from string constant to ‘char*’
compl.cpp: In function ‘set_family* complement(unsigned int**)’:
compl.cpp:54: warning: deprecated conversion from string constant to ‘char*’
compl.cpp:111: warning: deprecated conversion from string constant to ‘char*’
compl.cpp: In function ‘int compl_lift_onset_complex(unsigned int**, set_family*, int)’:
compl.cpp:457: warning: deprecated conversion from string constant to ‘char*’
compl.cpp: In function ‘int simp_comp(unsigned int**, set_family**, set_family**)’:
compl.cpp:548: warning: deprecated conversion from string constant to ‘char*’
compl.cpp:609: warning: deprecated conversion from string constant to ‘char*’
compl.cpp:610: warning: deprecated conversion from string constant to ‘char*’
compl.cpp: In function ‘set_family* simplify(unsigned int**)’:
compl.cpp:720: warning: deprecated conversion from string constant to ‘char*’
compl.cpp:750: warning: deprecated conversion from string constant to ‘char*’
cubestr.cpp: In function ‘int cube_setup()’:
cubestr.cpp:23: warning: deprecated conversion from string constant to ‘char*’
cvrin.cpp: In function ‘int parse_pla(FILE*, PLA_t*)’:
cvrin.cpp:249: warning: deprecated conversion from string constant to ‘char*’
cvrin.cpp:264: warning: deprecated conversion from string constant to ‘char*’
cvrin.cpp:269: warning: deprecated conversion from string constant to ‘char*’
cvrin.cpp:289: warning: deprecated conversion from string constant to ‘char*’
cvrin.cpp:293: warning: deprecated conversion from string constant to ‘char*’
cvrin.cpp:297: warning: deprecated conversion from string constant to ‘char*’
cvrin.cpp:301: warning: deprecated conversion from string constant to ‘char*’
cvrin.cpp:308: warning: deprecated conversion from string constant to ‘char*’
cvrin.cpp:336: warning: deprecated conversion from string constant to ‘char*’
cvrin.cpp:343: warning: deprecated conversion from string constant to ‘char*’
cvrin.cpp:358: warning: deprecated conversion from string constant to ‘char*’
cvrin.cpp:373: warning: deprecated conversion from string constant to ‘char*’
cvrin.cpp:380: warning: deprecated conversion from string constant to ‘char*’
cvrin.cpp:401: warning: deprecated conversion from string constant to ‘char*’
cvrin.cpp:416: warning: deprecated conversion from string constant to ‘char*’
cvrin.cpp:423: warning: deprecated conversion from string constant to ‘char*’
cvrin.cpp:439: warning: deprecated conversion from string constant to ‘char*’
cvrin.cpp:454: warning: deprecated conversion from string constant to ‘char*’
cvrin.cpp:466: warning: deprecated conversion from string constant to ‘char*’
cvrin.cpp:477: warning: deprecated conversion from string constant to ‘char*’
cvrin_string.cpp: In function ‘int parse_pla_string(const char**, PLA_t*)’:
cvrin_string.cpp:309: warning: deprecated conversion from string constant to ‘char*’
cvrin_string.cpp:326: warning: deprecated conversion from string constant to ‘char*’
cvrin_string.cpp:332: warning: deprecated conversion from string constant to ‘char*’
cvrin_string.cpp:356: warning: deprecated conversion from string constant to ‘char*’
cvrin_string.cpp:361: warning: deprecated conversion from string constant to ‘char*’
cvrin_string.cpp:368: warning: deprecated conversion from string constant to ‘char*’
cvrin_string.cpp:373: warning: deprecated conversion from string constant to ‘char*’
cvrin_string.cpp:381: warning: deprecated conversion from string constant to ‘char*’
cvrin_string.cpp:415: warning: deprecated conversion from string constant to ‘char*’
cvrin_string.cpp:423: warning: deprecated conversion from string constant to ‘char*’
cvrin_string.cpp:439: warning: deprecated conversion from string constant to ‘char*’
cvrin_string.cpp:455: warning: deprecated conversion from string constant to ‘char*’
cvrin_string.cpp:463: warning: deprecated conversion from string constant to ‘char*’
cvrin_string.cpp:488: warning: deprecated conversion from string constant to ‘char*’
cvrin_string.cpp:504: warning: deprecated conversion from string constant to ‘char*’
cvrin_string.cpp:512: warning: deprecated conversion from string constant to ‘char*’
cvrin_string.cpp:529: warning: deprecated conversion from string constant to ‘char*’
cvrin_string.cpp:545: warning: deprecated conversion from string constant to ‘char*’
cvrin_string.cpp:559: warning: deprecated conversion from string constant to ‘char*’
cvrin_string.cpp:571: warning: deprecated conversion from string constant to ‘char*’
cvrin_string.cpp: In function ‘int read_pla_string(const char**, PLA_t*)’:
cvrin_string.cpp:673: warning: deprecated conversion from string constant to ‘char*’
cvrin_string.cpp:687: warning: deprecated conversion from string constant to ‘char*’
cvrin_string.cpp:693: warning: deprecated conversion from string constant to ‘char*’
cvrin_string.cpp: In function ‘int read_pla(FILE*, PLA_t*)’:
cvrin_string.cpp:778: warning: deprecated conversion from string constant to ‘char*’
cvrin_string.cpp:792: warning: deprecated conversion from string constant to ‘char*’
cvrin_string.cpp:798: warning: deprecated conversion from string constant to ‘char*’
cvrm.cpp: In function ‘set_family* unravel_range(set_family*, int, int)’:
cvrm.cpp:86: warning: deprecated conversion from string constant to ‘char*’
cvrout.cpp: In function ‘int fprint_pla(FILE*, PLA_t*, int)’:
cvrout.cpp:57: warning: deprecated conversion from string constant to ‘char*’
cvrout.cpp:63: warning: deprecated conversion from string constant to ‘char*’
cvrout.cpp:68: warning: deprecated conversion from string constant to ‘char*’
cvrout.cpp:73: warning: deprecated conversion from string constant to ‘char*’
cvrout.cpp: In function ‘int eqn_output(PLA_t*, FILE*)’:
cvrout.cpp:229: warning: deprecated conversion from string constant to ‘char*’
cvrout.cpp:234: warning: deprecated conversion from string constant to ‘char*’
cvrout.cpp: In function ‘void print_expanded_cube(FILE*, unsigned int*, unsigned int*)’:
cvrout.cpp:351: warning: deprecated conversion from string constant to ‘char*’
cvrout.cpp:353: warning: deprecated conversion from string constant to ‘char*’
cvrout.cpp: In function ‘char* pc1(unsigned int*)’:
cvrout.cpp:365: warning: deprecated conversion from string constant to ‘char*’
cvrout.cpp: In function ‘char* pc2(unsigned int*)’:
cvrout.cpp:367: warning: deprecated conversion from string constant to ‘char*’
cvrout.cpp: In function ‘int kiss_output(FILE*, PLA_t*)’:
cvrout.cpp:450: warning: deprecated conversion from string constant to ‘char*’
cvrout.cpp:455: warning: deprecated conversion from string constant to ‘char*’
cvrout.cpp: In function ‘int kiss_print_cube(FILE*, PLA_t*, unsigned int*, char*)’:
cvrout.cpp:483: warning: deprecated conversion from string constant to ‘char*’
espresso.cpp: In function ‘set_family* espresso(set_family*, set_family*, set_family*)’:
espresso.cpp:142: warning: deprecated conversion from string constant to ‘char*’
essentiality.cpp: In function ‘set_family* etr_order(set_family*, set_family*, set_family*, unsigned int*, unsigned int*)’:
essentiality.cpp:101: warning: deprecated conversion from string constant to ‘char*’
expand.cpp: In function ‘int essen_parts(set_family*, set_family*, unsigned int*, unsigned int*)’:
expand.cpp:248: warning: deprecated conversion from string constant to ‘char*’
gasp.cpp: In function ‘set_family* reduce_gasp(set_family*, set_family*)’:
gasp.cpp:53: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:33: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:33: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:33: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:33: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:33: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:33: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:33: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:33: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:33: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:33: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:33: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:33: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:33: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:33: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:33: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:33: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:33: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:33: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:33: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:33: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:33: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:33: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:87: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:87: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:87: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:87: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:87: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:87: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:87: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:87: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:87: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:87: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:87: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:87: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:87: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:87: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:87: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:87: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:87: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:87: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:87: warning: deprecated conversion from string constant to ‘char*’
globals.cpp:87: warning: deprecated conversion from string constant to ‘char*’
hack.cpp: In function ‘int map_output_symbolic(PLA_t*)’:
hack.cpp:139: warning: deprecated conversion from string constant to ‘char*’
hack.cpp:207: warning: deprecated conversion from string constant to ‘char*’
hack.cpp: In function ‘int map_symbolic(PLA_t*)’:
hack.cpp:300: warning: deprecated conversion from string constant to ‘char*’
hack.cpp: In function ‘int form_bitvector(unsigned int*, int, int, symbolic_list_t*)’:
hack.cpp:431: warning: deprecated conversion from string constant to ‘char*’
irred.cpp: In function ‘int tautology(unsigned int**)’:
irred.cpp:229: warning: deprecated conversion from string constant to ‘char*’
irred.cpp: In function ‘void ftautology(unsigned int**, sm_matrix*)’:
irred.cpp:364: warning: deprecated conversion from string constant to ‘char*’
map.cpp: In function ‘unsigned int* minterms(set_family*)’:
map.cpp:19: warning: deprecated conversion from string constant to ‘char*’
mincov.cpp: In function ‘sm_row* sm_minimum_cover(sm_matrix*, int*, int, int)’:
mincov.cpp:98: warning: deprecated conversion from string constant to ‘char*’
opo.cpp: In function ‘set_family* opo(unsigned int*, set_family*, set_family*, set_family*, int)’:
opo.cpp:296: warning: deprecated conversion from string constant to ‘char*’
opo.cpp: In function ‘int output_phase_setup(PLA_t*, int)’:
opo.cpp:502: warning: deprecated conversion from string constant to ‘char*’
pair.cpp: In function ‘int set_pair1(PLA_t*, int)’:
pair.cpp:34: warning: deprecated conversion from string constant to ‘char*’
pair.cpp: In function ‘int find_optimal_pairing(PLA_t*, int)’:
pair.cpp:222: warning: deprecated conversion from string constant to ‘char*’
pair.cpp:252: warning: deprecated conversion from string constant to ‘char*’
pair.cpp: In function ‘int pair_all(PLA_t*, int)’:
pair.cpp:551: warning: deprecated conversion from string constant to ‘char*’
reduce.cpp: In function ‘unsigned int* sccc(unsigned int**)’:
reduce.cpp:120: warning: deprecated conversion from string constant to ‘char*’
set.cpp: In function ‘set_family* sf_join(set_family*, set_family*)’:
set.cpp:250: warning: deprecated conversion from string constant to ‘char*’
set.cpp: In function ‘set_family* sf_append(set_family*, set_family*)’:
set.cpp:281: warning: deprecated conversion from string constant to ‘char*’
tables.cpp:77: warning: deprecated conversion from string constant to ‘char*’
tables.cpp:77: warning: deprecated conversion from string constant to ‘char*’
tables.cpp:77: warning: deprecated conversion from string constant to ‘char*’
tables.cpp:77: warning: deprecated conversion from string constant to ‘char*’
tables.cpp:77: warning: deprecated conversion from string constant to ‘char*’
tables.cpp:77: warning: deprecated conversion from string constant to ‘char*’
tables.cpp:77: warning: deprecated conversion from string constant to ‘char*’
tables.cpp:77: warning: deprecated conversion from string constant to ‘char*’
tables.cpp:77: warning: deprecated conversion from string constant to ‘char*’
tables.cpp:77: warning: deprecated conversion from string constant to ‘char*’
tables.cpp:77: warning: deprecated conversion from string constant to ‘char*’
tables.cpp:77: warning: deprecated conversion from string constant to ‘char*’
tables.cpp:77: warning: deprecated conversion from string constant to ‘char*’
tables.cpp:77: warning: deprecated conversion from string constant to ‘char*’
tables.cpp:77: warning: deprecated conversion from string constant to ‘char*’
tables.cpp:77: warning: deprecated conversion from string constant to ‘char*’
unate.cpp: In function ‘int abs_select_restricted(set_family*, unsigned int*)’:
unate.cpp:483: warning: deprecated conversion from string constant to ‘char*’
