Uses of Class
org.oristool.petrinet.Precondition

Packages that use Precondition

Package	Description
org.oristool.petrinet	Petri net representation.

Uses of Precondition in org.oristool.petrinet

Methods in org.oristool.petrinet that return Precondition

Modifier and Type	Method	Description
Precondition	PetriNet.addPrecondition(Place p, Transition t)	Adds a precondition with multiplicity 1.
Precondition	PetriNet.addPrecondition(Place p, Transition t, int multiplicity)	Adds a precondition with given multiplicity.
Precondition	PetriNet.getPrecondition(Place p, Transition t)	Returns the existing precondition between a place and a transition.
Precondition	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 Precondition

Modifier and Type	Method	Description
Collection<Precondition>	PetriNet.getPreconditions(Transition t)	Gets all the preconditions of a transition.

Methods in org.oristool.petrinet with parameters of type Precondition

Modifier and Type	Method	Description
Precondition	PetriNet.removePrecondition(Precondition pre)	Removes the existing precondition between a place and a transition.