public override void Add(IFormula formula) { if (formula.IsCachable() && !isAlreadyCached(formula)) { base.Add(formula); } }
protected override void Visit(IFormula formula) { if (formula.IsCachable()) { return; } unregister(formula); }