Searched refs:getNumVariables (Results 1 – 3 of 3) sorted by relevance
431 EXPECT_EQ(simplex.getNumVariables(), 2u); in TEST()439 EXPECT_EQ(simplex.getNumVariables(), 4u); in TEST()442 EXPECT_EQ(simplex.getNumVariables(), 2u); in TEST()449 EXPECT_EQ(simplex.getNumVariables(), 1u); in TEST()
1100 unsigned SimplexBase::getNumVariables() const { return var.size(); } in getNumVariables() function in SimplexBase1303 assert(rel.getNumVars() == getNumVariables() && in intersectIntegerRelation()1465 unsigned numVar = a.getNumVariables() + b.getNumVariables(); in makeProduct()1483 return index >= 0 ? a.getNumVariables() + index in makeProduct()1717 assert(2 * dir.size() == simplex.getNumVariables() && in getCoeffsForDirection()
172 unsigned getNumVariables() const;