cz::muni::stanse::automatonchecker::FPDMemoryAssignedFilter Class Reference

Inheritance diagram for cz::muni::stanse::automatonchecker::FPDMemoryAssignedFilter:
[legend]
Collaboration diagram for cz::muni::stanse::automatonchecker::FPDMemoryAssignedFilter:
[legend]

List of all members.

Package Functions

int getTraceImportance (final java.util.List< CFGNode > path, final java.util.Stack< CFGNode > cfgContext, final ErrorRule rule)


Member Function Documentation

int cz::muni::stanse::automatonchecker::FPDMemoryAssignedFilter::getTraceImportance ( final java.util.List< CFGNode path,
final java.util.Stack< CFGNode cfgContext,
final ErrorRule  rule 
) [inline, package, virtual]


The documentation for this class was generated from the following file:

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