示例#1
0
  @Override
  public void exportToPrismExplicitTra(PrismLog out) throws PrismException {
    super.exportToPrismExplicitTra(out);

    out.println(this);
    out.println("FDEvents: " + getNumFDEvents());
  }
示例#2
0
  @Override
  public void addStates(int numToAdd) {
    super.addStates(numToAdd);

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