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

Packages that use ITransformationFilter
edu.ksu.cis.projects.bogor.module Provide a generic framework for dataflow analysis on BIR transition systems. 
 

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

Fields in edu.ksu.cis.projects.bogor.module declared as ITransformationFilter
protected  ITransformationFilter[] DefaultSchedulingStrategist.transformationFilters
          An ordered series of filters which strip out transitions that are otherwise enabled.
 

Methods in edu.ksu.cis.projects.bogor.module that return ITransformationFilter
 ITransformationFilter[] DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.getTransformationFilters()
          [Document Pending]
 ITransformationFilter[] DefaultSchedulingStrategist.getTransformationFilters()
           
 ITransformationFilter[] ISchedulingStrategist.getTransformationFilters()
          Retrieve the set of transformation filters configured via the ISchedulingStrategist.TRANSFORMATION_FILTER_ID option.