Searched refs:m_trace_ (Results 1 – 1 of 1) sorted by relevance
209 : m_trace_(model), in AssignmentProblem()221 m_root_ = MakeRootNode(m_trace_); in Solve()286 ExtendNode(m_node, m_trace_); in TrySolveNode()428 while (p_pos < p_trace_.size() && m_pos < m_trace_.size()) { in TryExtendSequence()430 LabelInfo* m_info = m_trace_[m_pos]; in TryExtendSequence()468 LabelInfo* m_info = m_trace_[m_pos]; in TryExtendSequenceBackwards()504 ExtendNode(m_parent, m_trace_); in FindModelNode()553 const Trace& m_trace_; member in courgette::AssignmentProblem