Searched refs:getEnumeratedValue (Results 1 – 2 of 2) sorted by relevance
220 Node getEnumeratedValue(Node n, bool& activeIncomplete);
728 Node nv = getEnumeratedValue(e, activeIncomplete); in getEnumeratedValues()793 Node SynthConjecture::getEnumeratedValue(Node e, bool& activeIncomplete) in getEnumeratedValue() function in CVC4::theory::quantifiers::SynthConjecture