コード例 #1
0
        public void DecreaseTest()
        {
            NumeralWrapper numeral = 3U.ChurchWarpper();

            Assert.IsTrue(3U - 1U == --numeral);
            Assert.IsTrue(2U - 1U == --numeral);
            Assert.IsTrue(1U - 1U == --numeral);
            Assert.IsTrue(0U == --numeral);
            numeral = 123U.ChurchWarpper();
            Assert.IsTrue(123U - 1U == --numeral);
        }
コード例 #2
0
        public void IncreaseTest()
        {
            NumeralWrapper numeral = 0U.ChurchWarpper();

            Assert.IsTrue(0U + 1U == ++numeral);
            Assert.IsTrue(1U + 1U == ++numeral);
            Assert.IsTrue(2U + 1U == ++numeral);
            Assert.IsTrue(3U + 1U == ++numeral);
            numeral = 123U.ChurchWarpper();
            Assert.IsTrue(123U + 1U == ++numeral);
        }