Package edu.ucla.belief.rc2.kb

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.
 



Copyright 2010 UCLA Automated Reasoning Group