Home
last modified time | relevance | path

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

/dports/math/z3/z3-z3-4.8.13/src/math/lp/
H A Dstatic_matrix.h403 struct column_container { struct
406 column_container(unsigned j, const static_matrix& A) : m_j(j), m_A(A) { in column_container() argument
448 column_container column(unsigned j) const { in column() argument
449 return column_container(j, *this); in column()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/lp/
H A Dstatic_matrix.h403 struct column_container { struct
406 column_container(unsigned j, const static_matrix& A) : m_j(j), m_A(A) { in column_container() argument
448 column_container column(unsigned j) const { in column() argument
449 return column_container(j, *this); in column()