Java CTMCSimple Examples

Example #1

File: FDCTMCSimple.java Project: adoGT/prismFDCTMC

  @Override
  public void exportToPrismExplicitTra(PrismLog out) throws PrismException {
    super.exportToPrismExplicitTra(out);

    out.println(this);
    out.println("FDEvents: " + getNumFDEvents());
  }

Example #2

File: FDCTMCSimple.java Project: adoGT/prismFDCTMC

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

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