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

Uses of Interface
de.matthias_burbach.flux.ModelChecker

Packages that use ModelChecker
de.matthias_burbach.flux Is the core package.  
 

Uses of ModelChecker in de.matthias_burbach.flux
 

Classes in de.matthias_burbach.flux that implement ModelChecker
 class DefaultModelChecker
          The default implementation of the ModelChecker interface.
 

Methods in de.matthias_burbach.flux that return ModelChecker
protected  ModelChecker StrutsConfigGenerator.getModelChecker()
          Instantiates the model checker plug-in as specified in the flux-config document.
 

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