Exemplo n.º 1
0
        public void CountLoopsTest()
        {
            Model.PetriNet.PetriNet testNet = new Model.PetriNet.PetriNet("TestNet");
            Transition testTransition1      = testNet.AddTransition("TestTransition1");

            testNet.AddTransition("TestTransition2");
            Transition testTransition3 = testNet.AddTransition("TestTransition3");

            testNet.AddTransition("TestTransition4");
            testTransition1.IsLoop = true;
            testTransition3.IsLoop = true;

            int result = testNet.CountLoops();

            Assert.AreEqual(2, result);
        }
        public void CountLoopsTest()
        {
            Model.PetriNet.PetriNet testNet = new Model.PetriNet.PetriNet("TestNet");
            Transition testTransition1 = testNet.AddTransition("TestTransition1");
            testNet.AddTransition("TestTransition2");
            Transition testTransition3 = testNet.AddTransition("TestTransition3");
            testNet.AddTransition("TestTransition4");
            testTransition1.IsLoop = true;
            testTransition3.IsLoop = true;

            int result = testNet.CountLoops();

            Assert.AreEqual(2, result);
        }