edu.ucla.belief.rc2.kb
Class KBMap.Mapping

Object
  extended by KBMap.Mapping
Enclosing class:
KBMap

public static class KBMap.Mapping
extends Object


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

file

public final String file

map

public final int[][] map

numVars

public final int numVars

numClauses

public final int numClauses
Constructor Detail

KBMap.Mapping

public KBMap.Mapping(String file,
                     int[][] map,
                     int numv,
                     int numc)


Copyright 2010 UCLA Automated Reasoning Group