edu.ucla.belief.rc2.kb
Class KBMap

Object
  extended by KBMap
Direct Known Subclasses:
Map_EClause, Map_L

public abstract class KBMap
extends Object

This interface defines functions required for mapping for multi-valued variables to binary variables.

Author:
David Allen

Nested Class Summary
static class KBMap.Mapping
           
 
Constructor Summary
KBMap()
           
 
Method Summary
static KBMap.Mapping createLogicEncoding(MultiValuedCNF mvcnf, File cnfFile, String title, Map fvToColOfClauses, boolean includeComments)
          This creates a cnf file and a Mapping which allows Variables and states from a Bayesian network to be set on the cnf.
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

KBMap

public KBMap()
Method Detail

createLogicEncoding

public static KBMap.Mapping createLogicEncoding(MultiValuedCNF mvcnf,
                                                File cnfFile,
                                                String title,
                                                Map fvToColOfClauses,
                                                boolean includeComments)
This creates a cnf file and a Mapping which allows Variables and states from a Bayesian network to be set on the cnf.

fvToColOfClauses can be an empty map or null.



Copyright 2010 UCLA Automated Reasoning Group