public void FindTransitionTest() { Model.PetriNet.PetriNet testNet = new Model.PetriNet.PetriNet("TestNet"); Transition testTransition = testNet.AddTransition("TestTransition"); Transition transition2 = testNet.FindTransition("TestTransition"); Assert.AreEqual(transition2, testTransition); }
public void FindTransitionTestNotFound() { Model.PetriNet.PetriNet testNet = new Model.PetriNet.PetriNet("TestNet"); Place tempPlaceIn = testNet.AddPlace("place_1"); Place tempPlaceOut = testNet.AddPlace("place_2"); testNet.AddTransition("transition_1", incomingPlace: tempPlaceIn, outgoingPlace: tempPlaceOut); Assert.IsNull(testNet.FindTransition("not in the list")); }
public void FindTransitionTestNotFound() { Model.PetriNet.PetriNet testNet = new Model.PetriNet.PetriNet("TestNet"); Place tempPlaceIn = testNet.AddPlace("place_1"); Place tempPlaceOut = testNet.AddPlace("place_2"); testNet.AddTransition("transition_1", incomingPlace: tempPlaceIn, outgoingPlace: tempPlaceOut); Assert.IsNull(testNet.FindTransition("not in the list")); }
public void FindTransitionTest() { Model.PetriNet.PetriNet testNet = new Model.PetriNet.PetriNet("TestNet"); Transition testTransition = testNet.AddTransition("TestTransition"); Transition transition2 = testNet.FindTransition("TestTransition"); Assert.AreEqual(transition2, testTransition); }