|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
ObjectKBMap.Mapping
public static class KBMap.Mapping
Field Summary | |
---|---|
String |
file
|
int[][] |
map
|
int |
numClauses
|
int |
numVars
|
Constructor Summary | |
---|---|
KBMap.Mapping(String file,
int[][] map,
int numv,
int numc)
|
Method Summary |
---|
Methods inherited from class Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public final String file
public final int[][] map
public final int numVars
public final int numClauses
Constructor Detail |
---|
public KBMap.Mapping(String file, int[][] map, int numv, int numc)
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |