ubc.cs.JLog.Terms
Interface jDCG.iPredicateUpdate

All Known Implementing Classes:
jDCG.dcgPredicateUpdate, jDCG.dcgTerminalPredicateUpdate, jDCG.dcgUnifyPredicateUpdate
Enclosing class:
jDCG

protected static interface jDCG.iPredicateUpdate


Method Summary
 void updatePredicate(jTerm S, jTerm E)
           
 

Method Detail

updatePredicate

void updatePredicate(jTerm S,
                     jTerm E)