reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
461 EXPECT_TRUE(m_Add(m_One(), m_Zero()).match(X)); 462 EXPECT_FALSE(m_Add(m_Zero(), m_One()).match(X)); 464 EXPECT_FALSE(m_Unless(m_Add(m_One(), m_Zero())).match(X)); 465 EXPECT_TRUE(m_Unless(m_Add(m_Zero(), m_One())).match(X)); 467 EXPECT_TRUE(m_c_Add(m_One(), m_Zero()).match(X)); 468 EXPECT_TRUE(m_c_Add(m_Zero(), m_One()).match(X)); 470 EXPECT_FALSE(m_Unless(m_c_Add(m_One(), m_Zero())).match(X)); 471 EXPECT_FALSE(m_Unless(m_c_Add(m_Zero(), m_One())).match(X));