|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
ObjectKBMap
Map_EClause
public class Map_EClause
This class creates a mapping using the new eclause (which handles the multivalued variables).
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 |
---|
public static KBMap.Mapping createLogicEncoding(MultiValuedCNF mvcnf, File cnfFile, String title, Map fvToColOfClauses, boolean includeComments)
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |