src/theory/arith/tableau_sizes.cpp

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