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

public interface EstadoBase {
public void op1();
public void op2();
public void op3();
} //End of class EstadoBase