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

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

State space adapters for CADP.

See:
          Description

Class Summary
AUTStateSpaceExporter Exporter for the Aldebaran (AUT) format as used by CADP.
CADPStateSpaceValidator CADP state space validator.
 

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

State space adapters for CADP.

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