; Combo of mode177 and epif1 - Jan 7 2013 ENABLE_PATTERN_CLAUSES true PATTERN_CLAUSES_ONLYALLSTRICT true PATTERN_CLAUSES_DELAY 1 PATTERN_CLAUSES_EQN_DELAY 1 EXISTS_DELAY 0 FORALL_DELAY 0 DEFAULTELT_DELAY 30 DEFAULTELTINST_DELAY 0 CONFR_DIFF_DELAY 0 CONFR_SAME1_DELAY 0 CONFR_SAME2_DELAY 0 ENUM_START 10 ENUM_ARROW 10 ENUM_O 5 ENUM_SORT 2 ENUM_NEG 0 ENUM_FALSE 100 ENUM_CHOICE 100 ENUM_EQ 100 ; Dec 2012 - Settings that will strongly prefer names as instantiations ; The idea is to combine this with other modes for testing and then ; create single modes that include these settings. EAGERLY_PROCESS_INSTANTIATIONS false INSTANTIATION_DELAY 0 ARTP_WEIGHT 0 BASETP_WEIGHT 0 OTP_WEIGHT 0 AP_WEIGHT 100 LAM_WEIGHT 100 LAM_TP_WEIGHT_FAC 100 NAME_WEIGHT 0 NAME_TP_WEIGHT_FAC 0 DB_WEIGHT 100 DB_TP_WEIGHT_FAC 100 FALSE_WEIGHT 100 IMP_WEIGHT 100 FORALL_WEIGHT 100 FORALL_TP_WEIGHT_FAC 100 EQ_WEIGHT 100 EQ_TP_WEIGHT_FAC 100 CHOICE_WEIGHT 100 CHOICE_TP_WEIGHT_FAC 100