Ejemplo n.º 1
0
 /** @apilevel low-level */
 public void flushCache() {
   super.flushCache();
   isConstant_visited = -1;
   isConstant_computed = false;
   isConstant_initialized = false;
   isDAafterTrue_Variable_values = null;
   isDAafterFalse_Variable_values = null;
   isDAafter_Variable_values = null;
   isDUafter_Variable_values = null;
   isDUbefore_Variable_values = null;
 }
Ejemplo n.º 2
0
 /** @apilevel low-level */
 public void flushCache() {
   super.flushCache();
 }