//This file generated automatically from the MARIUS LP system, please do not edit.

public interface ObserverIF {
  
  public void notificar();

} //End of class ObserverIF