/**
*/
package fr.inria.diverse.minifsm;
/**
* <!-- begin-user-doc -->
* A representation of the model object '<em><b>Final State</b></em>'.
* <!-- end-user-doc -->
*
*
* @see fr.inria.diverse.minifsm.MinifsmPackage#getFinalState()
* @model
* @generated
*/
public interface FinalState extends State {
} // FinalState