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

Package edu.rice.cs.cunit.threadCheck.predicates

Class Summary
CombinePredicateTemplate "Template class" that will be cloned and used for the automatically generated predicates of compound predicate annotations created using the @Combine meta-annotation.
 

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