/** 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; } }