1 #include "theory/arith/tableau_sizes.h"
2 #include "theory/arith/tableau.h"
8 uint32_t TableauSizes::getRowLength(ArithVar b
) const {
9 return d_tab
->basicRowLength(b
);
12 uint32_t TableauSizes::getColumnLength(ArithVar x
) const {
13 return d_tab
->getColLength(x
);
16 }/* CVC4::theory::arith namespace */
17 }/* CVC4::theory namespace */