Searched refs:m_decisions (Results 1 – 8 of 8) sorted by relevance
121 inline const Aws::Vector<Decision>& GetDecisions() const{ return m_decisions; } in GetDecisions()135 …ecisions(const Aws::Vector<Decision>& value) { m_decisionsHasBeenSet = true; m_decisions = value; } in SetDecisions()142 …cisions(Aws::Vector<Decision>&& value) { m_decisionsHasBeenSet = true; m_decisions = std::move(val… in SetDecisions()163 …t& AddDecisions(const Decision& value) { m_decisionsHasBeenSet = true; m_decisions.push_back(value… in AddDecisions()170 …equest& AddDecisions(Decision&& value) { m_decisionsHasBeenSet = true; m_decisions.push_back(std::… in AddDecisions()218 Aws::Vector<Decision> m_decisions; variable
34 Array<JsonValue> decisionsJsonList(m_decisions.size()); in SerializePayload()37 decisionsJsonList[decisionsIndex].AsObject(m_decisions[decisionsIndex].Jsonize()); in SerializePayload()
135 unsigned m_decisions; member
2073 ++m_stats.m_decisions; in search()2225 ++m_stats.m_decisions; in cube()2600 st.update("lh decisions", m_stats.m_decisions); in collect_statistics()
131 unsigned m_decisions; member
216 unsigned m_decisions; member1145 m_decisions++; in assign()2228 st.update("nlsat decisions", m_decisions); in collect_statistics()2236 m_decisions = 0; in reset_statistics()