|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.processmining.framework.models.hlprocess.Distribution
public abstract class Distribution
This abstract class represents some distribution of a set of numerical values. Subclasses may implement concrete distributions, such as a normal or a uniform distribution.
Nested Class Summary | |
---|---|
static class |
Distribution.DistributionEnum
Defines which kinds of distributions are available. |
Constructor Summary | |
---|---|
Distribution()
|
Method Summary | |
---|---|
abstract 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 |
abstract boolean |
equals(java.lang.Object obj)
Determines when two distribution objects are the same. |
abstract java.lang.String |
getCpnDistributionFunction()
Returns the cpn-specific distribution function (cpn syntax). |
abstract javax.swing.JPanel |
getDistributionPanel()
Creates GUI panel representing this distribution, ready to display in some settings dialog. |
abstract Distribution.DistributionEnum |
getDistributionType()
Indicates the type of this distribution. |
abstract int |
hashCode()
Retrieves the hashcode for the object. |
abstract void |
timeMultiplicationValue(double multiplicationValue)
Defines the factor with which the values in the distribution that refer to time need to be multiplicated with |
abstract 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 Distribution()
Method Detail |
---|
public abstract java.lang.String getCpnDistributionFunction()
public abstract javax.swing.JPanel getDistributionPanel()
public abstract Distribution.DistributionEnum getDistributionType()
public java.lang.Object clone()
clone
in class java.lang.Object
public abstract boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
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 abstract int hashCode()
hashCode
in class java.lang.Object
public abstract void writeDistributionToDot(java.lang.String boxId, java.lang.String nodeId, java.lang.String addText, java.io.Writer bw) throws java.io.IOException
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 abstract void timeMultiplicationValue(double multiplicationValue)
multiplicationValue
- doublepublic abstract boolean checkValuesOfTimeParameters(java.lang.String info)
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 |