Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

envgen
Interface IGeneralizer

public interface IGeneralizer

Combines environment assumptions that may come from different sources.

Method Summary
 Assumptions generalize(java.util.List assumptionsList)
           
 

Method Detail

generalize

public Assumptions generalize(java.util.List assumptionsList)
Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD