Searched defs:evaluates (Results 1 – 7 of 7) sorted by relevance
20 evaluates to \eval{take 10 (fix ('x':))}. function
19 evaluates to \eval{take 10 (fix ('x':))}. function
65 …bool (*evaluates) (const mcsat_evaluator_interface_t* self, term_t t, int_mset_t* vars, const mcsa… member
301 …bool evaluates = conflict->evaluator->evaluates(conflict->evaluator, disjunct, &disjunct_vars, &mc… in conflict_disjunct_substitute() local
110 …bool (*evaluates) (const mcsat_evaluator_interface_t* data, term_t t, int_mset_t* vars, mcsat_valu… member312 bool evaluates = false; in mcsat_evaluates() local
100 (match_operand:<crypto_mode> 2 "register_operand" "w")