Searched refs:poly4 (Results 1 – 1 of 1) sorted by relevance
508 IntegerPolyhedron poly4 = in TEST() local550 unsigned nIneq = poly4.getNumInequalities(); in TEST()551 unsigned nEq = poly4.getNumEqualities(); in TEST()552 poly4.removeRedundantInequalities(); in TEST()553 ASSERT_EQ(poly4.getNumInequalities(), nIneq); in TEST()554 ASSERT_EQ(poly4.getNumEqualities(), nEq); in TEST()557 poly4.removeRedundantConstraints(); in TEST()558 EXPECT_EQ(poly4.getNumInequalities(), nIneq); in TEST()559 EXPECT_EQ(poly4.getNumEqualities(), nEq); in TEST()