ubc.cs.JLog.Terms
Class jDCG.dcgPredicateUpdate

java.lang.Object
  extended by ubc.cs.JLog.Terms.jDCG.dcgPredicateUpdate
All Implemented Interfaces:
jDCG.iPredicateUpdate
Direct Known Subclasses:
jDCG.dcgTerminalPredicateUpdate
Enclosing class:
jDCG

protected class jDCG.dcgPredicateUpdate
extends java.lang.Object
implements jDCG.iPredicateUpdate


Field Summary
 jPredicate pred
           
 
Constructor Summary
jDCG.dcgPredicateUpdate(jPredicate 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 jPredicate pred
Constructor Detail

jDCG.dcgPredicateUpdate

public jDCG.dcgPredicateUpdate(jPredicate p)
Method Detail

updatePredicate

public void updatePredicate(jTerm S,
                            jTerm E)
Specified by:
updatePredicate in interface jDCG.iPredicateUpdate