ubc.cs.JLog.Terms
Class jDCG.dcgUnifyPredicateUpdate

java.lang.Object
  extended by ubc.cs.JLog.Terms.jDCG.dcgUnifyPredicateUpdate
All Implemented Interfaces:
jDCG.iPredicateUpdate
Enclosing class:
jDCG

protected class jDCG.dcgUnifyPredicateUpdate
extends java.lang.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