示例#1
0
  private void fireDataChanged() {
    //        options.updateLinksBetweenPDPCMPSMPTMPTPP();
    options.updatePartitionAllLinks();

    if (!(options.clockModelOptions.getRateOptionClockModel() == FixRateType.TIP_CALIBRATED
        || options.clockModelOptions.getRateOptionClockModel() == FixRateType.NODE_CALIBRATED
        || options.clockModelOptions.getRateOptionClockModel() == FixRateType.RATE_CALIBRATED)) {
      // TODO correct?
      options.clockModelOptions.fixRateOfFirstClockPartition();
    }

    frame.setDirty();
  }
 public void fireModelChanged() {
   frame.setDirty();
 }
示例#3
0
 private void fireDataChanged() {
   options.updatePartitionAllLinks();
   frame.setDirty();
 }