extension/src/main/java/org/justinnk/masonssa/extension/Action.java
/**
   * Internal initialisation routine that sets the name properly and also adds this instance to the
   * instance list.
   */
Internal initialisation routine that sets the name properly and also adds this instance to the
instance list.
Internal initialisation routine that sets the name properly and also adds this instance to the instance list .
private void init(Guard precondition, Effect effect, RateExpression rate) {
    this.guard = precondition;
    this.effect = effect;
    this.rate = rate;
    this.name = "Action" + ActionInstanceCounter;
    ActionInstanceCounter++;
    ActionInstances.add(this);
  }
private void init ( Guard precondition , Effect effect , RateExpression rate ) { this . guard = precondition ; this . effect = effect ; this . rate = rate ; this . name = "Action" + ActionInstanceCounter ; ActionInstanceCounter ++ ; ActionInstances . add ( this ) ; }
Internal initialisation routine that sets the name properly and also adds this instance to the
 instance list.
Internal initialisation routine that sets the name properly and also adds this instance to the instance list .