enum {
/* spill method */
- BE_CH_SPILL_BELADY = 3,
+ BE_CH_SPILL_BELADY = 1,
BE_CH_SPILL_ILP = 2,
- BE_CH_SPILL_MORGAN = 1,
+ BE_CH_SPILL_MORGAN = 3,
+ BE_CH_SPILL_REMAT = 4,
+ BE_CH_SPILL_APPEL = 5,
/* Dump flags */
BE_CH_DUMP_NONE = (1 << 0),
BE_CH_COPYMIN_PARK_MOON = 6,
/* ifg flavor */
- BE_CH_IFG_STD = 1,
- BE_CH_IFG_FAST = 2,
+ BE_CH_IFG_STD = 1,
+ BE_CH_IFG_FAST = 2,
+ BE_CH_IFG_CLIQUE = 3,
+ BE_CH_IFG_POINTER = 4,
+ BE_CH_IFG_LIST = 5,
+ BE_CH_IFG_CHECK = 6,
/* 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];