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