ubc.cs.JLog.Terms
Class jDCG.dcgVariableGenerator

java.lang.Object
  ubc.cs.JLog.Terms.jDCG.dcgVariableGenerator

Enclosing class:

jDCG

protected class jDCG.dcgVariableGenerator
extends 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()