Event Configurations Next: Unary ConfigurationsUp: EventsPrevious: Events

Event Configurations

Event configurations of the class Config are boolean expressions of events: a configuration can be the and, or the or of two events. It can also be the negation not of an event, which is true when the event is absent. A configuration is ``fixed'' when its value can be evaluated safely. For example, a configuration which is a simple event (of the class PosConfig defined bellow) is fixed as present as soon as the event is present, or else it is fixed as absent at the end of the current instant.

Abstract class Config  is:

abstract public class Config 
implements ReturnCodes
  abstract public boolean fixed(Machine machine);
  abstract public boolean evaluate(Machine machine);

  public boolean equals(Config conf){
    return this.getClass() == conf.getClass();