include sig ... endval on : int G.constval off : int G.constval min : int G.constval max : int G.constval cv : int G.constval iv : int G.constval bv : int G.constval fr : int G.constval lo : int G.constval up : int G.constval db : int G.constval fx : int G.constval undef : int G.constval feas : int G.constval infeas : int G.constval nofeas : int G.constval opt : int G.constval unbnd : int G.constval msg_off : int G.constval msg_err : int G.constval msg_on : int G.constval msg_all : int G.constval msg_dbg : int G.constval primal : int G.constval dualp : int G.constval dual : int G.constval pt_std : int G.constval pt_pse : int G.constval rt_std : int G.constval rt_har : int G.constval rt_flip : int G.constval use_at : int G.constval use_nt : int G.constval br_ffv : int G.constval br_lfv : int G.constval br_mfv : int G.constval br_dth : int G.constval br_pch : int G.constval bt_dfs : int G.constval bt_bfs : int G.constval bt_blb : int G.constval bt_bph : int G.constval pp_none : int G.constval pp_root : int G.constval pp_all : int G.const