public class GeneratePetrinetConstants
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.Integer |
defaultEndActivities |
static java.lang.Integer |
defaultIntermediateActivities |
static java.lang.Integer |
defaultMaxNoIterations |
static java.lang.Integer |
defaultMaxSourceActivitiesNumber |
static java.lang.Integer |
defaultMaxTargetActivitiesNumber |
static java.lang.Integer |
defaultStartActivities |
static java.lang.Integer |
defaultWantedPlaces |
static java.lang.Integer |
maxEndActivities |
static java.lang.Integer |
maxIntermediateActivities |
static java.lang.Integer |
maxMaxNoIterations |
static java.lang.Integer |
maxMaxSourceActivitiesNumber |
static java.lang.Integer |
maxMaxTargetActivitiesNumber |
static java.lang.Integer |
maxStartActivities |
static java.lang.Integer |
maxWantedPlaces |
static java.lang.Integer |
minEndActivities |
static java.lang.Integer |
minIntermediateActivities |
static java.lang.Integer |
minMaxNoIterations |
static java.lang.Integer |
minMaxSourceActivitiesNumber |
static java.lang.Integer |
minMaxTargetActivitiesNumber |
static java.lang.Integer |
minStartActivities
int numStartActivities;
int numEndActivities;
int noIntermediateActivities;
int noOfWantedPlaces;
int maxNoIterations;
int maxSourceActivitiesNumber;
int maxTargetActivitiesNumber;
2,2,10,10,500,40
numStartActivities in {1,20}
numEndActivities in {1,20}
noIntermediateActivities in {5,100}
noOfWantedPlaces in {1,50}
maxNoIterations in {1,5000}
maxRecursionDepth in {20,300}
|
static java.lang.Integer |
minWantedPlaces |
Constructor and Description |
---|
GeneratePetrinetConstants() |
public static java.lang.Integer minStartActivities
public static java.lang.Integer maxStartActivities
public static java.lang.Integer defaultStartActivities
public static java.lang.Integer minEndActivities
public static java.lang.Integer maxEndActivities
public static java.lang.Integer defaultEndActivities
public static java.lang.Integer minIntermediateActivities
public static java.lang.Integer maxIntermediateActivities
public static java.lang.Integer defaultIntermediateActivities
public static java.lang.Integer minWantedPlaces
public static java.lang.Integer defaultWantedPlaces
public static java.lang.Integer maxWantedPlaces
public static java.lang.Integer minMaxNoIterations
public static java.lang.Integer maxMaxNoIterations
public static java.lang.Integer defaultMaxNoIterations
public static java.lang.Integer minMaxSourceActivitiesNumber
public static java.lang.Integer maxMaxSourceActivitiesNumber
public static java.lang.Integer defaultMaxSourceActivitiesNumber
public static java.lang.Integer minMaxTargetActivitiesNumber
public static java.lang.Integer maxMaxTargetActivitiesNumber
public static java.lang.Integer defaultMaxTargetActivitiesNumber