void be_init_spill(void);
void be_init_spilloptions(void);
void be_init_listsched(void);
+void be_init_sched_rand(void);
+void be_init_sched_normal(void);
+void be_init_sched_regpress(void);
+void be_init_sched_trace(void);
+void be_init_sched_trivial(void);
void be_init_chordal(void);
void be_init_pbqp_coloring(void);
void be_init_chordal_main(void);
be_init_spill();
be_init_spilloptions();
be_init_dbgout();
+
be_init_listsched();
+ be_init_sched_normal();
+ be_init_sched_trace();
+ be_init_sched_regpress();
+ be_init_sched_rand();
+ be_init_sched_trivial();
+
be_init_chordal_main();
be_init_chordal_common();
be_init_chordal();