ubc.cs.JLog.Terms
Class jDCG.dcgVariableGenerator

java.lang.Object
  extended by ubc.cs.JLog.Terms.jDCG.dcgVariableGenerator
Enclosing class:
jDCG

protected class jDCG.dcgVariableGenerator
extends java.lang.Object


Field Summary
protected  int num
           
 
Constructor Summary
jDCG.dcgVariableGenerator()
           
 
Method Summary
 jVariable createVariable()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

num

protected int num
Constructor Detail

jDCG.dcgVariableGenerator

public jDCG.dcgVariableGenerator()
Method Detail

createVariable

public jVariable createVariable()