|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |