Package org.oristool.petrinet

Class Postcondition

java.lang.Object

org.oristool.util.Featurizable<PostconditionFeature>

org.oristool.petrinet.Postcondition

public class Postcondition
extends Featurizable<PostconditionFeature>

Postcondition of a Petri net.

Field Summary

Fields inherited from class org.oristool.util.Featurizable

features

Method Summary

Modifier and Type	Method	Description
int	getMultiplicity()	Returns the multiplicity of this postcondition.
Place	getPlace()	Returns the output place of this postcondition.
Transition	getTransition()	Returns the target transition of this postcondition.
String	toString()

Methods inherited from class org.oristool.util.Featurizable

addFeature, getFeature, getFeatures, hasFeature, removeFeature

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Details

getTransition

public Transition getTransition()

Returns the target transition of this postcondition.

Returns:

target transition

getPlace

public Place getPlace()

Returns the output place of this postcondition.

Returns:

output place

getMultiplicity

public int getMultiplicity()

Returns the multiplicity of this postcondition.

Returns:

multiplicity

toString

public String toString()

Overrides:

toString in class Featurizable<PostconditionFeature>