Ejemplo n.º 1
0
        public void ElementaryRelationTest()
        {
            var s = new Set <int>();

            s.Add(2);
            s.Add(4);

            var r = new Relation2 <int>();

            r.Add(new OrderedTuple2 <int>(2, 4));
            s.relations.Add(r);

            Assert.AreEqual(true, s.Is <Relation2 <int> >(2, 4));
            Assert.AreEqual(false, s.Is <Relation2 <int> >(2, 3));
        }
Ejemplo n.º 2
0
        public void ElementaryRelationTest()
        {
            var s = new Set <int>();

            s.elems.Add(2);
            s.elems.Add(4);

            var r = new Relation2 <int>();

            r.elems.Add(new OrderedTuple2 <int>(2, 4));
            s.relations.Add(r);

            Assert.AreEqual((typeof(RelationKindAttribute), true), s.Is <Relation2 <int> >(2, 4));
            Assert.AreEqual((typeof(RelationKindAttribute), false), s.Is <Relation2 <int> >(2, 3));
        }