public class GeneratePetrinetParameters
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
java.lang.Integer |
maxNoIterations |
java.lang.Integer |
maxSourceActivities |
java.lang.Integer |
maxTargetActivities |
java.lang.Integer |
noIntermediateActivities |
java.lang.Integer |
noOfWantedPlaces |
java.lang.Integer |
numEndActivities |
java.lang.Integer |
numStartActivities |
Constructor and Description |
---|
GeneratePetrinetParameters() |
GeneratePetrinetParameters(java.lang.Integer numStartActivities,
java.lang.Integer numEndActivities,
java.lang.Integer noIntermediateActivities,
java.lang.Integer noOfWantedPlaces,
java.lang.Integer maxNoIterations,
java.lang.Integer maxSourceActivities,
java.lang.Integer maxTargetActivities) |
public java.lang.Integer numStartActivities
public java.lang.Integer numEndActivities
public java.lang.Integer noIntermediateActivities
public java.lang.Integer noOfWantedPlaces
public java.lang.Integer maxNoIterations
public java.lang.Integer maxSourceActivities
public java.lang.Integer maxTargetActivities
public GeneratePetrinetParameters()
public GeneratePetrinetParameters(java.lang.Integer numStartActivities, java.lang.Integer numEndActivities, java.lang.Integer noIntermediateActivities, java.lang.Integer noOfWantedPlaces, java.lang.Integer maxNoIterations, java.lang.Integer maxSourceActivities, java.lang.Integer maxTargetActivities)