ubc.cs.JLog.Terms
Class jDCG.dcgTerminalPredicateUpdate

java.lang.Object
  ubc.cs.JLog.Terms.jDCG.dcgPredicateUpdate
      ubc.cs.JLog.Terms.jDCG.dcgTerminalPredicateUpdate

All Implemented Interfaces:

jDCG.iPredicateUpdate

Enclosing class:

jDCG

protected class jDCG.dcgTerminalPredicateUpdate
extends jDCG.dcgPredicateUpdate

Field Summary

jTerm

term

Fields inherited from class ubc.cs.JLog.Terms.jDCG.dcgPredicateUpdate

pred

Constructor Summary

jDCG.dcgTerminalPredicateUpdate(jPredicate p, jTerm t)

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

term

public jTerm term

Constructor Detail

jDCG.dcgTerminalPredicateUpdate

public jDCG.dcgTerminalPredicateUpdate(jPredicate p,
                                       jTerm t)

Method Detail

updatePredicate

public void updatePredicate(jTerm S,
                            jTerm E)

Specified by:

updatePredicate in interface jDCG.iPredicateUpdate

Overrides:

updatePredicate in class jDCG.dcgPredicateUpdate