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

Package korat.gui.viz

Class Summary
ToXMLInstanceConverter Converts arbitrary object into Alloy4Viz instance (.xml) file and theme (.thm) file.
VizListener  
 

Exception Summary
UnsupportedTypeException  
 

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