ubc.cs.JLog.Terms
Class jDCG.dcgTerminalPredicateUpdate

java.lang.Object
  extended by ubc.cs.JLog.Terms.jDCG.dcgPredicateUpdate
      extended by 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