ubc.cs.JLog.Terms
Class jDCG.dcgNotFork

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

protected class jDCG.dcgNotFork
extends java.lang.Object


Field Summary
 java.util.Vector lhs
           
 jDCG.dcgUnifyPredicateUpdate unify
           
 
Constructor Summary
jDCG.dcgNotFork(java.util.Vector l, jDCG.dcgUnifyPredicateUpdate u)
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

lhs

public java.util.Vector lhs

unify

public jDCG.dcgUnifyPredicateUpdate unify
Constructor Detail

jDCG.dcgNotFork

public jDCG.dcgNotFork(java.util.Vector l,
                       jDCG.dcgUnifyPredicateUpdate u)