|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.processmining.framework.models.hlprocess.Distribution
org.processmining.exporting.petrinet.cpnexport.HLImplementation.HLDistribution.HLGeneralDistribution
public class HLGeneralDistribution
Represents a general distribution to which a lot of distribution related information
can be provided, so that based on the provided information to this object separate
distributions (like a HLUniformDistribution
object or a
HLNormalDistribution
) can be provided. If no specific value for some
distribution related attribute has been set, a default value will be used (e.g.
when no value for variance is given, as value 0
will be used).
For setting the best distribution, an instance of HLGeneralDistribution.DistributionEnum has to be invoked.
Note that a type has to be added to DistributionEnum in case that it has to be possible to
set some more best distributions.
It is assumed that if a min and a max value is provided, that the min value is less
than the max value.
,
Serialized FormNested Class Summary |
---|
Nested classes/interfaces inherited from class org.processmining.framework.models.hlprocess.Distribution |
---|
Distribution.DistributionEnum |
Constructor Summary | |
---|---|
HLGeneralDistribution()
Creates a general distribution with default values. |
|
HLGeneralDistribution(double constant,
double intensity,
Distribution.DistributionEnum bestDistribution)
Creates a general distribution with default values for some of the values in the generaldistribution |
|
HLGeneralDistribution(double constant,
double mean,
double variance,
double min,
double max,
Distribution.DistributionEnum bestDistribution)
Creates a general distribution with default values for some of the values in the generaldistribution |
|
HLGeneralDistribution(double constant,
double mean,
double variance,
double min,
double max,
double intensity,
Distribution.DistributionEnum bestDistribution)
Creates a general distribution with default values for some of the values in the generaldistribution |
|
HLGeneralDistribution(double constant,
double mean,
double variance,
double min,
double max,
double intensity,
double probability,
int numberExperiments,
int degreesFreedom,
int emergenceEvents,
Distribution.DistributionEnum bestDistribution)
Creates a general distribution based on values for the mean, variance, min, max and the bestDistribution |
Method Summary | |
---|---|
boolean |
checkValuesOfTimeParameters(java.lang.String info)
Check whether parameters, which can be related to time, in the Distribution will get value '0' when these are rounded. |
java.lang.Object |
clone()
Implementing classes have to override the clone method |
boolean |
equals(java.lang.Object obj)
Determines when two distribution objects are the same. |
HLBernoulliDistribution |
getBernoulliDistribution()
Returns a HLBernoulliDistribution object. |
Distribution.DistributionEnum |
getBestDistribution()
Returns the number of the best distribution that has been set. |
java.lang.String |
getBestDistributionString()
Returns the name of the best distribution that has been set. |
HLBinomialDistribution |
getBinomialDistribution()
Returns a HLBinomialDistribution object. |
HLChiSquareDistribution |
getChiSquareDistribution()
Returns a HLChiSquareDistribution object. |
double |
getConstant()
Returns the constant of the general distribution |
HLConstantDistribution |
getConstantDistribution()
Returns a HLConstantDistribution object. |
java.lang.String |
getCpnDistributionFunction()
Returns the cpn distribution function of the distribution that has been indicated as best one. |
int |
getDegreesOfFreedom()
Returns the degrees of freedom of the general distribution |
HLDiscreteDistribution |
getDiscreteDistribution()
Returns a HLDiscreteDistribution object. |
javax.swing.JPanel |
getDistributionPanel()
Creates GUI panel representing this general distribution, ready to display in some settings dialog. |
java.util.ArrayList<Distribution> |
getDistributions()
All possible distributions will be returned. |
Distribution.DistributionEnum |
getDistributionType()
Indicates the type of this distribution. |
int |
getEmergenceofEvents()
Returns the number of emergence of events of the general distribution |
HLErlangDistribution |
getErlangDistribution()
Returns a HLErlangDistribution object. |
HLExponentialDistribution |
getExponentialDistribution()
Returns a HLExponentialDistribution object. |
double |
getIntensity()
Returns the intensity of the general distribution |
double |
getMax()
Returns the max value of the general distribution |
double |
getMean()
Returns the mean value of the general distribution. |
double |
getMin()
Returns the min of the general distribution |
HLNormalDistribution |
getNormalDistribution()
Returns a HLNormalDistribution object. |
int |
getNumberExperiments()
Returns the number of experiments of the general distribution |
HLPoissonDistribution |
getPoissonDistribution()
Returns a HLPoissonDistribution object. |
double |
getProbability()
Returns the probability value of the general distribution. |
HLStudentDistribution |
getStudentDistribution()
Returns a HLStudentDistribution object. |
HLUniformDistribution |
getUniformDistribution()
Returns a HLUniformDistribution object. |
double |
getVariance()
Returns the variance of the general distribution. |
int |
hashCode()
Retrieves the hashcode for the object. |
void |
setBestDistribution(Distribution.DistributionEnum bestDistribution)
Sets the best distribution. |
void |
setConstant(double constant)
Sets the constant of the general distribution |
void |
setDegreesOfFreedom(int degreesFreedom)
Sets the degrees of freedom for the general distribution |
void |
setEmergenceOfEvents(int emergenceEvents)
Sets the emergence of events for the general distribution |
void |
setIntensity(double intensity)
Sets the intensity of the general distribution |
void |
setMax(double max)
Sets the max of the general distribution |
void |
setMean(double mean)
Sets the mean value of this general distribution |
void |
setMin(double min)
Sets the min of the general distribution |
void |
setNumberExperiments(int numberExperiments)
Sets the number of experiments for the general distribution |
void |
setProbability(double probability)
Sets the probability of the general distribution. |
void |
setVariance(double variance)
Sets the variance of the general distribution. |
void |
timeMultiplicationValue(double value)
Defines the factor with which the values in the distribution that refer to time need to be multiplicated with |
void |
updateGUI()
This method is called as soon the attribute type of this data attribute is changed. |
void |
updateGUI2()
|
void |
writeDistributionToDot(java.lang.String boxId,
java.lang.String nodeId,
java.lang.String addText,
java.io.Writer bw)
Writes the distribution to dot. |
Methods inherited from class java.lang.Object |
---|
finalize, getClass, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public HLGeneralDistribution(double constant, double mean, double variance, double min, double max, double intensity, double probability, int numberExperiments, int degreesFreedom, int emergenceEvents, Distribution.DistributionEnum bestDistribution)
constant
- the constant value of the distributionmean
- double (arithmetic) mean value of the distributionvariance
- double the variance of the distributionmin
- the minumum value of the distributionmax
- the maximum value of the distributionprobability
- the probability value. Note that this value always has to
be bigger or equal to 0 and equal or less than 1.numberExperiments
- the number of experiments. Note that this value always has to bigger or equal to 1.degreesFreedom
- double the degrees of freedom value. Not that this value always
has to be equal or greater to 1.emergenceEvents
- Emergence of intensity
- the intensity value of the distributionbestDistribution
- the best distribution. Based on the values that are providedpublic HLGeneralDistribution()
public HLGeneralDistribution(double constant, double mean, double variance, double min, double max, Distribution.DistributionEnum bestDistribution)
constant
- the constant value of the distributionmean
- double (arithmetic) mean value of the distributionvariance
- double the variance of the distributionmin
- the minumum value of the distributionmax
- the maximum value of the distributionbestDistribution
- the best distribution. Based on the values that are providedpublic HLGeneralDistribution(double constant, double intensity, Distribution.DistributionEnum bestDistribution)
constant
- double the constant value of the distributionintensity
- double the intensity value of the distributionbestDistribution
- DistributionEnum the best distribution. Based on the values that are provided.public HLGeneralDistribution(double constant, double mean, double variance, double min, double max, double intensity, Distribution.DistributionEnum bestDistribution)
constant
- double the constant value of the distributionmean
- double the mean value of the distributionmin
- double the min value of the distributionmax
- double the max value of the distributionvariance
- double the variance value of the distributionintensity
- double the intensity value of the distributionbestDistribution
- DistributionEnum the best distribution. Based on the values that are provided.Method Detail |
---|
public void setBestDistribution(Distribution.DistributionEnum bestDistribution)
bestDistribution
- DistributionEnum the best distributionpublic Distribution.DistributionEnum getBestDistribution()
public java.lang.String getBestDistributionString()
public void setConstant(double constant)
constant
- double the constant valuepublic double getConstant()
public void setMean(double mean)
mean
- double the mean valuepublic double getMean()
public void setVariance(double variance)
variance
- double the variance.public double getVariance()
public void setMax(double max)
max
- double the max value. Note that the max value always has to be bigger or equal
to the min value (if it has been provided).public double getMax()
public void setMin(double min)
min
- double the min value. Note that the min value always has to be less or equal
than the max value (if it has been provided).public double getMin()
public void setIntensity(double intensity)
intensity
- double the intensity value. Note that this value always has to be
bigger or equal to 1.public double getIntensity()
public void setProbability(double probability)
probability
- double the probability value. Note that this value always has to be
bigger or equal to 0 and less than or equal to 1.public double getProbability()
public void setNumberExperiments(int numberExperiments)
numberExperiments
- int the number of experiments. Note that this value always has to be
bigger or equal to 1.public int getNumberExperiments()
public void setDegreesOfFreedom(int degreesFreedom)
degreesFreedom
- int the degrees of freedom. Note that this value always has to be
bigger or equal to 1.public int getDegreesOfFreedom()
public void setEmergenceOfEvents(int emergenceEvents)
emergenceEvents
- int the emergence of public int getEmergenceofEvents()
public java.util.ArrayList<Distribution> getDistributions()
Distribution
)public HLUniformDistribution getUniformDistribution()
HLUniformDistribution
object. If no specific value has been
set for some attribute specifically related to this distribution, a default value will be used.
HLUniformDistribution
object.public HLNormalDistribution getNormalDistribution()
HLNormalDistribution
object. If no specific value has been
set for some attribute specifically related to this distribution, a default value will be used.
HLNormalDistribution
object.public HLConstantDistribution getConstantDistribution()
HLConstantDistribution
object. If no specific value has been
set for some attribute specifically related to this distribution, a default value will be used.
HLConstantDistribution
object.public HLExponentialDistribution getExponentialDistribution()
HLExponentialDistribution
object. If no specific value has been
set for some attribute specifically related to this distribution, a default value will be used.
HLExponentialDistribution
object.public HLBernoulliDistribution getBernoulliDistribution()
HLBernoulliDistribution
object. If no specific value has been
set for some attribute specifically related to this distribution, a default value will be used.
HLBernoulliDistribution
object.public HLBinomialDistribution getBinomialDistribution()
HLBinomialDistribution
object. If no specific value has been
set for some attribute specifically related to this distribution, a default value will be used.
HLBinomialDistribution
object.public HLChiSquareDistribution getChiSquareDistribution()
HLChiSquareDistribution
object. If no specific value has been
set for some attribute specifically related to this distribution, a default value will be used.
HLChiSquareDistribution
object.public HLDiscreteDistribution getDiscreteDistribution()
HLDiscreteDistribution
object. If no specific value has been
set for some attribute specifically related to this distribution, a default value will be used.
Note that for this distribution the min and max value of the general distribution are rounded to
the closest int, because the min and max value that are supplied to the general distribution
are of type double.
HLDiscreteDistribution
object.public HLErlangDistribution getErlangDistribution()
HLErlangDistribution
object. If no specific value has been
set for some attribute specifically related to this distribution, a default value will be used.
HLErlangDistribution
object.public HLPoissonDistribution getPoissonDistribution()
HLPoissonDistribution
object. If no specific value has been
set for some attribute specifically related to this distribution, a default value will be used.
HLPoissonDistribution
object.public HLStudentDistribution getStudentDistribution()
HLStudentDistribution
object. If no specific value has been
set for some attribute specifically related to this distribution, a default value will be used.
HLStudentDistribution
object.public void updateGUI2()
public java.lang.String getCpnDistributionFunction()
getCpnDistributionFunction
in class Distribution
public Distribution.DistributionEnum getDistributionType()
Distribution
getDistributionType
in class Distribution
public javax.swing.JPanel getDistributionPanel()
getDistributionPanel
in class Distribution
public void updateGUI()
updateGUI
in interface GuiNotificationTarget
public java.lang.Object clone()
Distribution
clone
in class Distribution
public boolean equals(java.lang.Object obj)
Distribution
equals
in class Distribution
obj
- Object the object to compare with
true
when the two distribution objects are the same object
and that the values for all the parameters of the particalur distribution are the same.
false
otherwisepublic int hashCode()
Distribution
hashCode
in class Distribution
public void writeDistributionToDot(java.lang.String boxId, java.lang.String nodeId, java.lang.String addText, java.io.Writer bw) throws java.io.IOException
Distribution
writeDistributionToDot
in class Distribution
boxId
- the identifier of the box (in the DOT file) in which the parameters and other relevant information of the distribution
will be written.nodeId
- the identifier of the node (in the DOT file) to which the box that will be created has to be connected.
""
has to be provided if the box that will be created does not need to be connected to another node in the DOT file.addText
- additional text that needs to be filled in at the beginning of the boxbw
- Writer the BufferedWriter used to stream the data to the file
java.io.IOException
public void timeMultiplicationValue(double value)
Distribution
timeMultiplicationValue
in class Distribution
value
- doublepublic boolean checkValuesOfTimeParameters(java.lang.String info)
Distribution
checkValuesOfTimeParameters
in class Distribution
info
- Additional information to be displayed when a warning is issued.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |