Package org.oristool.petrinet

Class Precondition

java.lang.Object

org.oristool.util.Featurizable<PreconditionFeature>

org.oristool.petrinet.Precondition

public final class Precondition
extends Featurizable<PreconditionFeature>

Precondition 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 precondition.
Place	getPlace()	Returns the input place of this precondition.
Transition	getTransition()	Returns the target transition of this precondition.
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

getPlace

public Place getPlace()

Returns the input place of this precondition.

Returns:

input place

getTransition

public Transition getTransition()

Returns the target transition of this precondition.

Returns:

target transition

getMultiplicity

public int getMultiplicity()

Returns the multiplicity of this precondition.

Returns:

multiplicity

toString

public String toString()

Overrides:

toString in class Featurizable<PreconditionFeature>