Public Member Functions | |
FPDMemoryNestedCheckFilter (LazyInternalStructures internals) | |
Package Functions | |
int | getTraceImportance (final java.util.List< CFGNode > path, final java.util.Stack< CFGNode > cfgContext, final ErrorRule rule) |
cz::muni::stanse::automatonchecker::FPDMemoryNestedCheckFilter::FPDMemoryNestedCheckFilter | ( | LazyInternalStructures | internals | ) | [inline] |