/* spill method */
BE_CH_SPILL_BELADY = 1,
BE_CH_SPILL_ILP = 2,
+ BE_CH_SPILL_MORGAN = 3,
+ BE_CH_SPILL_REMAT = 4,
+ BE_CH_SPILL_APPEL = 5,
/* Dump flags */
BE_CH_DUMP_NONE = (1 << 0),
/* lower perm options */
BE_CH_LOWER_PERM_SWAP = (1 << 0),
BE_CH_LOWER_PERM_COPY = (1 << 1),
+
+ /* verify options */
+ BE_CH_VRFY_OFF = 1,
+ BE_CH_VRFY_WARN = 2,
+ BE_CH_VRFY_ASSERT = 3,
};
struct _be_ra_chordal_opts_t {
int copymin_method;
int ifg_flavor;
int lower_perm_opt;
+ int vrfy_option;
char ilp_server[128];
char ilp_solver[128];