1 /* file "debughelp.cc" */
3 /* Copyright (c) 1994 Stanford University
7 This software is provided under the terms described in
8 the "suif_copyright.h" include file. */
10 #include <suif_copyright.h>
12 #define _MODULE_ "libsuifmath.a"
19 // these functions can be called from gdb to print the structures
21 void named_symcoeff_ineq_print(named_symcoeff_ineq
* sq
) { sq
->print(); }
22 void named_lin_ineq_print(named_lin_ineq
* nq
) { nq
->print(); }
23 void lin_ineq_print(lin_ineq
* lq
) { lq
->print(); }
24 void integer_matrix_print(integer_matrix
* im
) { im
->print(); }
25 void name_table_print(name_table
* nt
) { nt
->print(); }
26 void integer_row_print(integer_row
* ir
) { ir
->print(); }