Esempi in C# (CSharp) per Model.PetriNet.PetriNet.GetPlacesWithoutFollowers

Esempio n. 1

File: PetriNetTests.cs Progetto: zergmk2/ProcessCubeExplorer

        public void GetPlacesWithoutFollowersTest()
        {
            Model.PetriNet.PetriNet testNet = new Model.PetriNet.PetriNet("TestNet");
            Place testPlace1 = testNet.AddPlace("TestPlace1", 2);
            Place testPlace2 = testNet.AddPlace("TestPlace2", 3);
            Place testPlace3 = testNet.AddPlace("TestPlace3", 4);

            testPlace1.AppendOutgoingTransition(new Transition());
            testPlace3.AppendOutgoingTransition(new Transition());

            List <Place> testlist = testNet.GetPlacesWithoutFollowers();

            Assert.AreEqual(testlist.First(), testPlace2);
        }

Esempio n. 2

File: PetriNetTests.cs Progetto: ThomasMeents/ProcessCubeExplorer

        public void GetPlacesWithoutFollowersTest()
        {
            Model.PetriNet.PetriNet testNet = new Model.PetriNet.PetriNet("TestNet");
            Place testPlace1 = testNet.AddPlace("TestPlace1", 2);
            Place testPlace2 = testNet.AddPlace("TestPlace2", 3);
            Place testPlace3 = testNet.AddPlace("TestPlace3", 4);
            testPlace1.AppendOutgoingTransition(new Transition());
            testPlace3.AppendOutgoingTransition(new Transition());

            List<Place> testlist = testNet.GetPlacesWithoutFollowers();

            Assert.AreEqual(testlist.First(), testPlace2);
        }