Uses of Class
org.oristool.petrinet.Postcondition

Packages that use Postcondition

Package	Description
org.oristool.petrinet	Petri net representation.

Uses of Postcondition in org.oristool.petrinet

Methods in org.oristool.petrinet that return Postcondition

Modifier and Type	Method	Description
Postcondition	PetriNet.addPostcondition(Transition t, Place p)	Adds a postcondition with multiplicity 1.
Postcondition	PetriNet.addPostcondition(Transition t, Place p, int multiplicity)	Adds a postcondition with given multiplicity.
Postcondition	PetriNet.getPostcondition(Transition t, Place p)	Returns the existing postcondition between a place and a transition.
Postcondition	PetriNet.removePostcondition(Postcondition post)	Removes the existing postcondition between a place and a transition.

Methods in org.oristool.petrinet that return types with arguments of type Postcondition

Modifier and Type	Method	Description
Collection<Postcondition>	PetriNet.getPostconditions(Transition t)	Gets all the postconditions of a transition.

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

Modifier and Type	Method	Description
Postcondition	PetriNet.removePostcondition(Postcondition post)	Removes the existing postcondition between a place and a transition.