Uses of Interface
edu.ksu.cis.projects.bogor.module.ITransformer

Packages that use ITransformer
edu.ksu.cis.projects.bogor Provides for Bogor command-line interface (CLI) and configuration. 
edu.ksu.cis.projects.bogor.module Provide a generic framework for dataflow analysis on BIR transition systems. 
 

Uses of ITransformer in edu.ksu.cis.projects.bogor
 

Fields in edu.ksu.cis.projects.bogor declared as ITransformer
protected  ITransformer DefaultBogorConfiguration.tr
           
 

Methods in edu.ksu.cis.projects.bogor that return ITransformer
 ITransformer DefaultBogorConfiguration.getTransformer()
           
 ITransformer IBogorConfiguration.getTransformer()
           
 

Methods in edu.ksu.cis.projects.bogor with parameters of type ITransformer
 void DefaultBogorConfiguration.setTransformer(ITransformer tr)
           
 void IBogorConfiguration.setTransformer(ITransformer tr)
           
 

Uses of ITransformer in edu.ksu.cis.projects.bogor.module
 

Classes in edu.ksu.cis.projects.bogor.module that implement ITransformer
 class DefaultTransformer
           
 

Fields in edu.ksu.cis.projects.bogor.module declared as ITransformer
protected  ITransformer DefaultSearcher.tr
           
protected  ITransformer DefaultTransformer.tr