Beispiel #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;
 }
Beispiel #2
0
 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();
 }
Beispiel #5
0
 /** @apilevel internal */
 private boolean ltIsTrue_compute(Expr left, Expr right) {
   return left.constant().floatValue() < right.constant().floatValue();
 }