Java CTMCSimple.exportToPrismExplicitTra 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());
  }