private ClassNode sourceCNode;
private ClassNode targetCNode;
- private int probability;
+ private double probability;
private int transTime;
private int listExeTime;
if(ScheduleEdge.NEWEDGE == this.type) {
completeLabel += ":" + Integer.toString(this.newRate);
}
- completeLabel += ":(" + Integer.toString(this.probability) + "%)" + ":[" + Integer.toString(this.transTime) + "]";
+ completeLabel += ":(" + Double.toString(this.probability) + "%)" + ":[" + Integer.toString(this.transTime) + "]";
return completeLabel;
}
return this.targetFState;
}
- public int getProbability() {
+ public double getProbability() {
return this.probability;
}
public int hashCode() {
int hashcode = gid^uid^label.hashCode()^target.hashCode()^source.hashCode()^fstate.hashCode()^
- sourceCNode.hashCode()^targetCNode.hashCode()^newRate^probability^
+ sourceCNode.hashCode()^targetCNode.hashCode()^newRate^(int)probability^
type^transTime^listExeTime;
if(targetFState != null) {
hashcode ^= targetFState.hashCode();
return hashcode;
}
- public void setProbability(int prob) {
+ public void setProbability(double prob) {
this.probability = prob;
}