|
||||||||||
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.HLBinomialDistribution
public class HLBinomialDistribution
Represents a bernoulli distribution that can be readily displayed as it maintains its own GUI panel.
The distribution will be graphically represented by two spinners representing the
number of experiments value and the probability, respectively.
Changes performed via the GUI will be immedeately propagated to the internally held property values.
getDistributionPanel
,
Serialized FormNested Class Summary |
---|
Nested classes/interfaces inherited from class org.processmining.framework.models.hlprocess.Distribution |
---|
Distribution.DistributionEnum |
Constructor Summary | |
---|---|
HLBinomialDistribution(GUIPropertyIntegerTextField numberExperiments,
GUIPropertyDoubleTextField probability)
Creates a binomial distribution based on a number of experiments and a probability value |
|
HLBinomialDistribution(int numberExperiments,
double probability)
Creates a binomial distribution based on a number of experiments and a probability value |
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. |
java.lang.String |
getCpnDistributionFunction()
Returns the cpn-specific distribution function (cpn syntax). |
javax.swing.JPanel |
getDistributionPanel()
Creates GUI panel representing this distribution, ready to display in some settings dialog. |
Distribution.DistributionEnum |
getDistributionType()
Indicates the type of this distribution. |
int |
getNumberOfExperiments()
Retrieves the number of experiments for this distribution |
double |
getProbability()
Retrieves the probability value of this distribution |
int |
hashCode()
Retrieves the hashcode for the object. |
void |
timeMultiplicationValue(double value)
Defines the factor with which the values in the distribution that refer to time need to be multiplicated with |
java.lang.String |
toString()
|
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, wait, wait, wait |
Constructor Detail |
---|
public HLBinomialDistribution(int numberExperiments, double probability)
numberExperiments
- the number of experiments. Note that this value always has to bigger or equal to 1.probability
- the probability value. Note that this value always has to
be bigger or equal to 0 and equal or less than 1.public HLBinomialDistribution(GUIPropertyIntegerTextField numberExperiments, GUIPropertyDoubleTextField probability)
numberExperiments
- the number of experimentsprobability
- the probability valueMethod Detail |
---|
public int getNumberOfExperiments()
public double getProbability()
public java.lang.String getCpnDistributionFunction()
Distribution
getCpnDistributionFunction
in class Distribution
public javax.swing.JPanel getDistributionPanel()
Distribution
getDistributionPanel
in class Distribution
public Distribution.DistributionEnum getDistributionType()
Distribution
getDistributionType
in class Distribution
public java.lang.Object clone()
Distribution
clone
in class Distribution
public java.lang.String toString()
toString
in class java.lang.Object
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 |