Searched refs:inferDefinition (Results 1 – 2 of 2) sorted by relevance
219 Node inferDefinition(
91 Node SynthConjectureProcessFun::inferDefinition( in inferDefinition() function in CVC4::theory::quantifiers::SynthConjectureProcessFun462 Node def = inferDefinition(it->first, term_to_arg_carry, free_vars); in processTerms()