edu.ucla.belief.rc2.kb
Class KBMap
Object
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
Constructor Summary |
KBMap()
|
KBMap
public KBMap()
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