Uses of Class
org.oristool.petrinet.Precondition
Packages that use Precondition
-
Uses of Precondition in org.oristool.petrinet
Methods in org.oristool.petrinet that return PreconditionModifier and TypeMethodDescriptionPetriNet.addPrecondition
(Place p, Transition t) Adds a precondition with multiplicity 1.PetriNet.addPrecondition
(Place p, Transition t, int multiplicity) Adds a precondition with given multiplicity.PetriNet.getPrecondition
(Place p, Transition t) Returns the existing precondition between a place and a transition.PetriNet.removePrecondition
(Precondition pre) Removes the existing precondition between a place and a transition.Methods in org.oristool.petrinet that return types with arguments of type PreconditionModifier and TypeMethodDescriptionPetriNet.getPreconditions
(Transition t) Gets all the preconditions of a transition.Methods in org.oristool.petrinet with parameters of type PreconditionModifier and TypeMethodDescriptionPetriNet.removePrecondition
(Precondition pre) Removes the existing precondition between a place and a transition.