ubc.cs.JLog.Terms
Class jDCG.dcgNotFork

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

Enclosing class:

jDCG

protected class jDCG.dcgNotFork
extends Object

Field Summary

Vector	lhs
jDCG.dcgUnifyPredicateUpdate	unify

Constructor Summary

jDCG.dcgNotFork(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 Vector lhs

unify

public jDCG.dcgUnifyPredicateUpdate unify

Constructor Detail

jDCG.dcgNotFork

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