| 139 | return A; |
| 140 | } |
| 141 | static ZMatrix getConstraints(dd_MatrixPtr A, bool returnEquations) |
| 142 | { |
| 143 | int rowsize=A->rowsize; |
| 144 | int n=A->colsize-1; |
| 145 | |
| 146 | ZMatrix ret(0,n); |
| 147 | for(int i=0;i<rowsize;i++) |
| 148 | { |
| 149 | bool isEquation=set_member(i+1,A->linset); |
| 150 | if(isEquation==returnEquations) |
| 151 | { |
| 152 | QVector v(n); |
| 153 | for(int j=0;j<n;j++)v[j]=Rational(A->matrix[i][j+1]); |
| 154 | ret.appendRow(QToZVectorPrimitive(v)); |
| 155 | } |
| 156 | } |
| 157 | return ret; |
| 158 | } |
| 159 | static bool isFacet(ZMatrix const &g, int index) |
| 160 | { |
| 161 | bool ret; |
nothing calls this directly
no test coverage detected