Home
last modified time | relevance | path

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

/dports/math/minizinc/libminizinc-2.5.5/lib/
H A Dflatten.cpp990 const std::vector<unsigned int>& t1enumIds = getArrayEnum(t1.enumId()); in isSubtype() local
992 assert(t1enumIds.size() == t2enumIds.size()); in isSubtype()
993 for (unsigned int i = 0; i < t1enumIds.size() - 1; i++) { in isSubtype()
994 if (t2enumIds[i] != 0 && t1enumIds[i] != t2enumIds[i]) { in isSubtype()
998 if (!t1.isbot() && t2enumIds[t1enumIds.size() - 1] != 0 && in isSubtype()
999 t1enumIds[t1enumIds.size() - 1] != t2enumIds[t2enumIds.size() - 1]) { in isSubtype()