|
||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
---|---|
KnowledgeBase | Define KnowledgeBase. |
KnowledgeBase.KnowledgeBaseListener |
Class Summary | |
---|---|
KBMap | This interface defines functions required for mapping for multi-valued variables to binary variables. |
KBMap.Mapping | |
KnowledgeBaseImpl | Implement KnowledgeBase. |
Map_EClause | This class creates a mapping using the new eclause (which handles the multivalued variables). |
Map_L | This class creates a mapping using the L (logarithmic) mapping for multi-valued variables. |
MultiValuedCNF | Class representing Multi-Valued CNFs. |
|
||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |