Esempio n. 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();
  }
Esempio n. 2
0
 private void fireDataChanged() {
   options.updatePartitionAllLinks();
   frame.setDirty();
 }