/** Set to true to enable derivation caching */
@Override
public void setDerivationLogging(boolean recordDerivations) {
this.recordDerivations = recordDerivations;
engine.setDerivationLogging(recordDerivations);
if (recordDerivations) {
derivations = new OneToManyMap<Triple, Derivation>();
} else {
derivations = null;
}
}
