|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
ObjectMultiValuedCNF
public final class MultiValuedCNF
Class representing Multi-Valued CNFs.
Field Summary | |
---|---|
int[] |
clausesIndex
|
boolean[] |
literalsPositive
|
int[] |
literalsStates
|
int[] |
literalsVars
|
Method Summary | |
---|---|
boolean |
augmentedForCompilation()
|
static void |
AugmentForCompilation(MultiValuedCNF mvcnf,
BeliefNetwork bn,
boolean useEClause)
WARNING: This will add variables and adjust sizes, so it will no longer be "valid" with the BeliefNetwork passed in. |
boolean |
contains(Object var)
|
static MultiValuedCNF |
createFromBN(BeliefNetwork bn,
MappedList vars)
After calling this, the user should test unsatisfiable, before attempting to access the clause and literals arrays. |
void |
displayCNF(PrintStream out)
|
List |
eclauses()
|
List |
eclausesFV()
|
Map |
fvToColOfClauses()
|
List |
indexingList()
This returns a list of all vars in the BN, not only those in the CNF. |
int |
numClauses()
|
int |
numLiterals()
|
int |
numVarsAppearingInCNF()
|
boolean[] |
theseVarsAppearInCNF()
Will return an array indexed by the vars list (from createFromBN), with true if it appears in any CNF clause and false if it doesn't appear anywhere. |
boolean |
unsatisfiable()
|
boolean |
usingEClauses()
|
Methods inherited from class Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public int[] clausesIndex
public int[] literalsVars
public int[] literalsStates
public boolean[] literalsPositive
Method Detail |
---|
public boolean augmentedForCompilation()
public boolean usingEClauses()
public List eclauses()
public List eclausesFV()
public Map fvToColOfClauses()
public boolean unsatisfiable()
public boolean contains(Object var)
public List indexingList()
public static MultiValuedCNF createFromBN(BeliefNetwork bn, MappedList vars)
public boolean[] theseVarsAppearInCNF()
public int numVarsAppearingInCNF()
public int numClauses()
public int numLiterals()
public void displayCNF(PrintStream out)
public static void AugmentForCompilation(MultiValuedCNF mvcnf, BeliefNetwork bn, boolean useEClause)
This function is specific to the current method of encoding genetic networks!
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |