Searched defs:constraints_for_explanation (Results 1 – 2 of 2) sorted by relevance
58 …const svector<unsigned>& constraints_for_explanation() const { return m_constraints_for_explanatio… in constraints_for_explanation() function