/** @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;
}
/** @apilevel low-level */
public void flushCache() {
super.flushCache();
}
