/** @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;
}
private boolean leIsTrue_compute(Expr left, Expr right) {
return left.constant().intValue() <= right.constant().intValue();
}
/** @apilevel internal */
public void flushCollectionCache() {
super.flushCollectionCache();
}
/** @apilevel low-level */
public void flushCache() {
super.flushCache();
}
/** @apilevel internal */
private boolean ltIsTrue_compute(Expr left, Expr right) {
return left.constant().floatValue() < right.constant().floatValue();
}