cz::muni::stanse::automatonchecker::FPDMemoryReassignedFilterCreator Member List
This is the complete list of members for
cz::muni::stanse::automatonchecker::FPDMemoryReassignedFilterCreator, including all inherited members.
create(XMLAutomatonDefinition definition, LazyInternalStructures internals, boolean isInterprocediral, final Map< CFGNode, Pair< PatternLocation, PatternLocation >> nodeLocationDictionary) | cz::muni::stanse::automatonchecker::FPDMemoryReassignedFilterCreator | [inline, package, virtual] |
isApplicable(final XMLAutomatonDefinition definition, boolean isInterprocediral) | cz::muni::stanse::automatonchecker::FPDMemoryReassignedFilterCreator | [inline, package] |
cz::muni::stanse::automatonchecker::FalsePositivesDetectorCreator::isApplicable(XMLAutomatonDefinition definition, boolean isInterprocediral) | cz::muni::stanse::automatonchecker::FalsePositivesDetectorCreator | [package, pure virtual] |