示例#1
0
 /** @apilevel internal */
 public void flushCollectionCache() {
   super.flushCollectionCache();
 }
示例#2
0
 /** @apilevel internal */
 @SuppressWarnings({"unchecked", "cast"})
 public Binary clone() throws CloneNotSupportedException {
   Binary node = (Binary) super.clone();
   node.isConstant_visited = -1;
   node.isConstant_computed = false;
   node.isConstant_initialized = false;
   node.isDAafterTrue_Variable_values = null;
   node.isDAafterFalse_Variable_values = null;
   node.isDAafter_Variable_values = null;
   node.isDUafter_Variable_values = null;
   node.isDUbefore_Variable_values = null;
   node.in$Circle(false);
   node.is$Final(false);
   return node;
 }
示例#3
0
 /** @apilevel low-level */
 public void flushCache() {
   super.flushCache();
   type_computed = false;
   type_value = null;
 }