code: private void clearCaches() {
      for (Formula formula : this.posLiterals.values())
        formula.clearCaches();
      for (Formula formula : this.negLiterals.values())
        formula.clearCaches();
      for (Formula formula : this.generatedVariables)
        formula.clearCaches();
      for (Formula formula : this.nots.values())
        formula.clearCaches();
      for (Formula formula : this.implications.values())
        formula.clearCaches();
      for (Formula formula : this.equivalences.values())
        formula.clearCaches();
      for (Formula formula : this.ands2.values())
        formula.clearCaches();
      for (Formula formula : this.ands3.values())
        formula.clearCaches();
      for (Formula formula : this.ands4.values())
        formula.clearCaches();
      for (Formula formula : this.andsN.values())
        formula.clearCaches();
      for (Formula formula : this.ors2.values())
        formula.clearCaches();
      for (Formula formula : this.ors3.values())
        formula.clearCaches();
      for (Formula formula : this.ors4.values())
        formula.clearCaches();
      for (Formula formula : this.orsN.values())
        formula.clearCaches();
      for (Formula formula : this.pbConstraints.values())
        formula.clearCaches();
    }
docs: Clears the caches of every cached Formula.