Overview   Package  Class  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES    

Package org.eclipse.emf.henshin.statespace.external.mcrl2

State space adapters for mCRL2.

See:
          Description

Class Summary
MCRL2StateSpaceValidator mCRL2 state space validator.
 

Package org.eclipse.emf.henshin.statespace.external.mcrl2 Description

State space adapters for mCRL2.

Overview   Package  Class  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES