Java CTMCSimple.addStates Examples

Example #1

File: FDCTMCSimple.java Project: adoGT/prismFDCTMC

  @Override
  public void addStates(int numToAdd) {
    super.addStates(numToAdd);

    for (FDEvent fdEvent : fdEvents) fdEvent.addStates(numToAdd);
  }