|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
---|---|
IFilter | Interface for result filters. |
Class Summary | |
---|---|
DefaultFilter | ??? |
IntegrationFilter | ??? |
RandomSampleFilter | Selects random sample. |
RedundantFilter | Filters mapping according to minimal links paper. |
RedundantFilterEQ | Filters the matrix according to the minimal links paper, expanding EQ into MG&LG. |
RedundantGeneratorFilter | Generates entailed mappings according to pseudocode from minimal mappings paper. |
RemoveDJFilter | Removes DJ links from the mapping. |
RetainEQFilter | Retains only EQ links in the mapping. |
ZeroFilter | Does nothing. |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |