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

public class Estado2 implements EstadoBase {
public void op1(){ System.out.println("Estado 2:op1");}
public void op2(){ System.out.println("Estado 2:op2");}
public void op3(){ System.out.println("Estado 2:op3");}

} //End of class Estado2