ubc.cs.JLog.Terms
Class jDCG.dcgUnifyPredicateUpdate

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

All Implemented Interfaces:

jDCG.iPredicateUpdate

Enclosing class:

jDCG

protected class jDCG.dcgUnifyPredicateUpdate
extends Object
implements jDCG.iPredicateUpdate

Field Summary

jUnify

pred

Constructor Summary

jDCG.dcgUnifyPredicateUpdate(jUnify p)

Method Summary

void	updatePredicate(jTerm S, jTerm E)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

pred

public jUnify pred

Constructor Detail

jDCG.dcgUnifyPredicateUpdate

public jDCG.dcgUnifyPredicateUpdate(jUnify p)

Method Detail

updatePredicate

public void updatePredicate(jTerm S,
                            jTerm E)

Specified by:

updatePredicate in interface jDCG.iPredicateUpdate