edu.ucla.belief.rc2.kb
Class Map_EClause

Object
  extended by KBMap
      extended by Map_EClause

public class Map_EClause
extends KBMap

This class creates a mapping using the new eclause (which handles the multivalued variables).

Author:
David Allen

Nested Class Summary
 
Nested classes/interfaces inherited from class KBMap
KBMap.Mapping
 
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
 

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.



Copyright 2010 UCLA Automated Reasoning Group