cz::muni::stanse::automatonchecker::FPDMemoryNestedCheckFilterCreator Member List

This is the complete list of members for cz::muni::stanse::automatonchecker::FPDMemoryNestedCheckFilterCreator, including all inherited members.

create(XMLAutomatonDefinition definition, LazyInternalStructures internals, boolean isInterprocediral, final Map< CFGNode, Pair< PatternLocation, PatternLocation >> nodeLocationDictionary)cz::muni::stanse::automatonchecker::FPDMemoryNestedCheckFilterCreator [inline, package, virtual]
isApplicable(final XMLAutomatonDefinition definition, boolean isInterprocediral)cz::muni::stanse::automatonchecker::FPDMemoryNestedCheckFilterCreator [inline, package]
cz::muni::stanse::automatonchecker::FalsePositivesDetectorCreator::isApplicable(XMLAutomatonDefinition definition, boolean isInterprocediral)cz::muni::stanse::automatonchecker::FalsePositivesDetectorCreator [package, pure virtual]


Generated on Thu Jan 13 16:24:08 2011 for Stanse by  doxygen 1.5.6