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

Uses of Class
edu.mit.csail.sdg.alloy4.Env

Packages that use Env
edu.mit.csail.sdg.alloy4 This package contains general data structures and helper classes. 
 

Uses of Env in edu.mit.csail.sdg.alloy4
 

Methods in edu.mit.csail.sdg.alloy4 that return Env
 Env<K,V> Env.dup()
          Make a shallow copy of this environment.
 

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