|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Class Summary | |
---|---|
StaticAnalyzer | The class of static analyzer that parses a given MLN program. |
Package that contains a static analyzer for an MLN program. This static analyzer is based on pattern-matching. The output of this analyzer is labeled properties for each relation. For detailed patterns that we are using, please see our TR.
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |