Home
last modified time | relevance | path

Searched refs:d_weightToCcIndex (Results 1 – 2 of 2) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/
H A Dsygus_enumerator.h158 std::map<unsigned, unsigned> d_weightToCcIndex; variable
H A Dsygus_enumerator.cpp255 d_weightToCcIndex[w] = d_numConClasses; in initialize()
263 std::map<unsigned, unsigned>::const_iterator it = d_weightToCcIndex.find(w); in getLastConstructorClassIndexForWeight()
264 if (it == d_weightToCcIndex.end()) in getLastConstructorClassIndexForWeight()